perm filename DPLNR.LAP[1,MWK] blob
sn#044161 filedate 1973-07-15 generic text, type T, neo UTF8
(DEFPROP PLNRFNS (PLNRFNS (DECLARE (DF *FEXPR (X) (MAPC (FUNCTION (LAMBDA (X) (PUTPROP X T (QUOTE *FSUBR)))) X))→
(*FEXPR THAPPLY THGENAME THSTATE THANTE THERASING THCONSE THDUMP THRESTRICT THBKPT THUNIQUE) (*FEXPR THVSETQ TH→
MESSAGE THDO THGOAL THERASE THAND THNV THSUCCEED THAMONG THCOND THSETQ) (*FEXPR THASSERT THASVAL THERT THGO THFA→
IL THOR THFIND THFINALIZE THRETURN THPROG THFLUSH) (*FEXPR THNOT THV THTRACE THGENS) (DEFPROP THBRANCH T *SUBR) →
(DEFPROP THSPRINT T *SUBR) (DEFPROP THMATCH T *LSUBR) (SPECIAL THLAS OBLIST THINF THGENAME THGENS THZ THY THX TH→
ALIST THABRANCH THBRANCH) (SPECIAL THV /0RETVAL /0LISTEN THL /0RETFLAG THE /0LEVEL THXX THTT TYPE THWH THON THML→
) (SPECIAL THBS THNF THPC XX THAL THZ1 THY1 ↑A THTTL THA2 LASTWORD THFSTP THFST) (SPECIAL THUSERCHARS THEXP THTR→
EE THLEVEL THTRACE THPRD THMESSAGE THUSERMESSAGES) (SPECIAL THUNREADFLG THUNREAD1 THUNREAD2 GRINPROPS THOLIST TH→
VALUE THUSERINITFN) (DE THCMPDEF (X) (COND ((ATOM (CADDR X)) (FLUSHEXPR X)) (T (COMPFUNC (CADR X) (CONS (QUOTE S→
UBR) (CDADDR X)) (CADDDR X))))) (MAPC (FUNCTION (LAMBDA (X) (PUTPROP X (QUOTE THCMPDEF) (QUOTE DEFACTION)))) (QU→
OTE (THFAIL THSUCCEED THTRACE)))) THPUSH EVLIS THPRINT2 THPRINTC THADD THAMONG THAMONGF THAND THANDF THANDT THAN→
TE THAPPLY THAPPLY1 THASS1 THASSERT THASSERTF THASSERTT THASVAL THBA THBAP THBIND THBI1 THBKPT THBRANCH THBRANCH→
UN THCOND THCONDF THCONDT THCONSE THDATA THDEF THDO THDO1 THDOB THDUMP THERASE THERASEF THERASET THERASING THFAI→
L THFAIL? THFAIL?F THFAIL?T THFINALIZE THFIND THFINDF THFINDT THFLUSH THGAL THGENAME THGO THGOAL THGOALF THGOALT→
THIP THMATCH2 THCHECK THUNION THMATCH THMATCH1 THMATCHLIST THMESSAGE THMESSAGEF THMESSAGET THMUNGF THMUNGT THNO→
FAIL THNOHASH THNOT THNV THOR THOR2 THORF THORT THPOPT THPROG THPROGA THPROGF THPROGT THPURE THPUTPROP THREM1 TH→
REMBINDF THREMBINDT THREMOVE THREMPROP THRESTRICT THRETURN THRPLACA THRPLACAS THURPLACA THRPLACD THRPLACDS THURP→
LACD THSETQ THSGAL THSTATE THSUCCEED THTAE THTAG THTAGF THTAGT THTRUE THTRY1 THTRY THUNDOF THUNDOT THUNIQUE THUC→
I THV1 THV THVAL THVAR THVARS2 THVARSUBST THVSETQ THMUNG THUNDO THREMBIND (PUTPROP (QUOTE THSPRINT) (GET (QUOTE →
SPRINT) (QUOTE SUBR)) (QUOTE SUBR)) SPRINT THUNREADM THREAD THUSERCHARS THERT THEDIT THINIT THTRACE THTRACE1 THU→
NTRACE THTRACES THSEL THGENS THEOREM THUNREADFLG THUNREAD1 THUNREAD2 GRINPROPS THUSERINITFN ↑A THXX THALIST THUS→
ERMESSAGES PLNRINITFN (PROGN (DEFPROP PINIT (LAMBDA NIL (PROG (X) (RPLACD (MEMQ# (QUOTE THEOREM) GRINPROPS) NIL)→
(MODCHR (CHRVAL (QUOTE ')) (MODCHR (CHRVAL (QUOTE /@)) NIL)) (DRM $ THREAD) (DRM : THREAD) (INITFN (QUOTE THINI→
T)) (EXCISE) (SETQ KLIST NIL) (PUTPROP (QUOTE INITFN) (CADR (SETQ X (GETL (QUOTE PLNRINITFN) (QUOTE (EXPR SUBR))→
))) (CAR X)) (SETQ THUNREADFLG T) (REMOB PLNRFNS PINIT PLNRINITFN))) EXPR))) VALUE)
(LAP EVLIS SUBR)
(MOVE 2 1)
(MOVEI 1 (QUOTE EVAL) S)
(JRST 0 *MAPC)
NIL
(LAP THPRINT2 SUBR)
(PUSH P 1)
(MOVEI 1 (QUOTE / ) S)
(CALL 1 (E PRINC) S)
(MOVE 1 0 P)
(SUB P (C 1 0 1 0))
(JCALL 1 (E PRINC) S)
NIL
(LAP THPRINTC SUBR)
(PUSH P 1)
(CALL 0 (E TERPRI) S)
(MOVE 1 0 P)
(CALL 1 (E PRINC) S)
(MOVEI 1 (QUOTE / ) S)
(SUB P (C 1 0 1 0))
(JCALL 1 (E PRINC) S)
NIL
(LAP THADD SUBR)
(JSP 6 SPECBIND)
(0 1 (SPECIAL THTT) S)
(0 0 (SPECIAL THNF) S)
(0 0 (SPECIAL THWH) S)
(0 0 (SPECIAL THLAS) S)
(0 0 (SPECIAL THTTL) S)
(0 0 (SPECIAL THFST) S)
(0 0 (SPECIAL THFSTP) S)
(PUSH P 2)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG7)
(MOVEI 2 (QUOTE THEOREM) S)
(MOVE 1 (SPECIAL THTT) S)
(CALL 2 (E GET) S)
(MOVEM 1 -1 P)
(JUMPN 1 TAG10)
(MOVE 1 (SPECIAL THTT) S)
(CALL 1 (E PRINT) S)
(MOVEI 1 (QUOTE (CANT THASSERT/, NO THEOREM - THADD)) S)
(CALL 17 (E THERT) S)
TAG10 (HLRZ@ 1 -1 P)
(MOVEM 1 (SPECIAL THWH) S)
(MOVE 1 (SPECIAL THTT) S)
(MOVEM 1 (SPECIAL THTTL) S)
(MOVE 1 -3 P)
(JUMPE 1 TAG12)
TAG1 (HLRZ@ 3 -3 P)
(HRRZ@ 2 -3 P)
(HLRZ@ 2 2)
(MOVE 1 (SPECIAL THTT) S)
(CALL 3 (E THPUTPROP) S)
(HRRZ@ 1 -3 P)
(HRRZ@ 1 1)
(MOVEM 1 -3 P)
(JUMPN 1 TAG1)
TAG12 (HRRZ@ 1 -1 P)
(CALL 1 (E CADR) S)
(JRST 0 TAG6)
TAG7 (MOVEI 1 (QUOTE THASSERTION) S)
(MOVEM 1 (SPECIAL THWH) S)
(MOVE 2 -3 P)
(MOVE 1 (SPECIAL THTT) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTTL) S)
(MOVE 1 (SPECIAL THTT) S)
TAG6 (MOVEI 2 (QUOTE 0))
(MOVEM 2 (SPECIAL THNF) S)
(MOVEM 1 0 P)
(CALL 1 (E LENGTH) S)
(MOVEM 1 (SPECIAL THLAS) S)
(MOVEI 1 (QUOTE T) S)
(MOVEM 1 (SPECIAL THFST) S)
TAG2 (MOVE 1 0 P)
(JUMPN 1 TAG22)
(MOVE 1 -2 P)
(MOVEI 2 (QUOTE 0))
(MOVEM 2 (SPECIAL THNF) S)
(CLEARB 2 (SPECIAL THFST) S)
(MOVEI 3 (QUOTE T) S)
(MOVEM 3 (SPECIAL THFSTP) S)
(MOVEM 1 0 P)
(MOVEM 2 -2 P)
(JRST 0 TAG2)
TAG22 (HLRZ@ 1 1)
(CALL 1 (E THIP) S)
(MOVEM 1 -1 P)
(JUMPE 1 TAG4)
(CAIE 1 (QUOTE THOK) S)
(TDZA 1 1)
(MOVEI 1 (QUOTE T) S)
(JUMPN 1 TAG21)
(PUSH P (C 0 0 TAG26 0))
(PUSH P -3 P)
(MOVE 1 -3 P)
(CAIE 1 (QUOTE THVRB) S)
(JRST 0 TAG30)
(HLRZ@ 1 -2 P)
(JRST 0 TAG27)
TAG30 (MOVEI 1 (QUOTE NIL))
TAG27 (CALL 1 (E NCONS) S)
(PUSH P 1)
(MOVNI 6 2)
(JCALL 16 (E NCONC) S)
TAG26 (MOVEM 1 -2 P)
(JUMPE 1 TAG25)
(HRRZ@ 1 0 P)
(MOVEM 1 0 P)
(JRST 0 TAG2)
TAG25
TAG21 (CLEARM 0 (SPECIAL THFST) S)
(HRRZ@ 2 0 P)
(MOVEI 1 (QUOTE THIP) S)
(PUSHJ P *MAPC)
(MOVEI 1 (QUOTE 0))
(MOVEM 1 (SPECIAL THNF) S)
(MOVE 2 -2 P)
(MOVEI 1 (QUOTE THIP) S)
(PUSHJ P *MAPC)
(MOVE 1 (SPECIAL THTTL) S)
(JRST 0 TAG3)
TAG4 (MOVEI 1 (QUOTE NIL))
TAG3 (SUB P (C 4 0 4 0))
(JRST 0 SPECSTR)
NIL
(LAP THAMONG FSUBR)
(PUSH P 1)
(CALL 1 (E CAAR) S)
(CAIE 1 (QUOTE THEV) S)
(JRST 0 TAG4)
(MOVE 2 (SPECIAL THALIST) S)
(HLRZ@ 1 0 P)
(CALL 1 (E CADR) S)
(CALL 2 (E THVAL) S)
(JRST 0 TAG3)
TAG4 (HLRZ@ 1 0 P)
TAG3 (MOVE 2 (SPECIAL THALIST) S)
(CALL 2 (E THGAL) S)
(MOVEM 1 (SPECIAL THXX) S)
(CALL 1 (E CADR) S)
(CAIE 1 (QUOTE THUNASSIGNED) S)
(JRST 0 TAG2)
(MOVE 2 (SPECIAL THALIST) S)
(HRRZ@ 1 0 P)
(HLRZ@ 1 1)
(PUSH P (SPECIAL THXX) S)
(CALL 2 (E THVAL) S)
(CALL 1 (E NCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THAMONG) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(MOVEI 1 (QUOTE NIL))
(JRST 0 TAG1)
TAG2 (HRRZ@ 1 (SPECIAL THXX) S)
(HLRZ@ 1 1)
(MOVE 2 (SPECIAL THALIST) S)
(PUSH P 1)
(HRRZ@ 1 -1 P)
(HLRZ@ 1 1)
(CALL 2 (E THVAL) S)
(MOVE 2 1)
(POP P 1)
(CALL 2 (E MEMBER#) S)
TAG1 (SUB P (C 1 0 1 0))
(POPJ P)
NIL
(DEFPROP THAMONG THAMONGF THFAIL)
(LAP THAMONGF SUBR)
(MOVE 1 (SPECIAL THMESSAGE) S)
(JUMPE 1 TAG2)
(CALL 0 (E THPOPT) S)
(MOVEI 1 (QUOTE NIL))
(JRST 0 TAG1)
TAG2 (HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADDR) S)
(JUMPE 1 TAG3)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CDADR) S)
(HLRZ@ 2 (SPECIAL THTREE) S)
(HRRZ@ 2 2)
(HRRZ@ 2 2)
(HLRZ@ 2 2)
(HLRZ@ 2 2)
(HRLM@ 2 1)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CDDR) S)
(HLRZ@ 2 (SPECIAL THTREE) S)
(HRRZ@ 2 2)
(HRRZ@ 2 2)
(HLRZ@ 2 2)
(HRRZ@ 2 2)
(HRLM@ 2 1)
(MOVE 1 (SPECIAL THTREE) S)
(MOVEM 1 (SPECIAL THBRANCH) S)
(MOVE 1 (SPECIAL THALIST) S)
(MOVEM 1 (SPECIAL THABRANCH) S)
(CALL 0 (E THPOPT) S)
(MOVEI 1 (QUOTE T) S)
(JRST 0 TAG1)
TAG3 (HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CDADR) S)
(MOVEI 2 (QUOTE THUNASSIGNED) S)
(HRLM@ 2 1)
(CALL 0 (E THPOPT) S)
(MOVEI 1 (QUOTE NIL))
TAG1 (POPJ P)
NIL
(LAP THAND FSUBR)
(PUSH P 1)
(JUMPE 1 TAG2)
(TDZA 1 1)
TAG2 (MOVEI 1 (QUOTE T) S)
(JUMPN 1 TAG1)
(MOVEI 1 (QUOTE NIL))
(CALL 1 (E NCONS) S)
(MOVE 2 0 P)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THAND) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(HLRZ@ 1 0 P)
(MOVEM 1 (SPECIAL THEXP) S)
TAG1 (SUB P (C 1 0 1 0))
(POPJ P)
NIL
(DEFPROP THAND THANDT THSUCCEED)
(DEFPROP THAND THANDF THFAIL)
(LAP THANDF SUBR)
(CALL 0 (E THBRANCHUN) S)
(MOVEI 1 (QUOTE NIL))
(POPJ P)
NIL
(LAP THANDT SUBR)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CDADR) S)
(JUMPE 1 TAG5)
(CALL 0 (E THBRANCH) S)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(CALL 1 (E CADR) S)
(MOVEM 1 (SPECIAL THEXP) S)
(HLRZ@ 1 (SPECIAL THTREE) S)
(HRRZ@ 1 1)
(HLRZ@ 2 1)
(HRRZ@ 2 2)
(HRLM@ 2 1)
(JRST 0 TAG4)
TAG5 (CALL 0 (E THPOPT) S)
TAG4 (MOVE 1 (SPECIAL THVALUE) S)
(POPJ P)
NIL
(LAP THANTE FSUBR)
(JSP 6 SPECBIND)
(0 1 (SPECIAL THX) S)
(MOVE 2 1)
(MOVEI 1 (QUOTE THANTE) S)
(CALL 2 (E THDEF) S)
(JRST 0 SPECSTR)
NIL
(LAP THAPPLY FSUBR)
(MOVEI 2 (QUOTE THEOREM) S)
(PUSH P 1)
(HLRZ@ 1 1)
(CALL 2 (E GET) S)
(HRRZ@ 3 0 P)
(HLRZ@ 3 3)
(EXCH 2 1)
(HLRZ@ 1 0 P)
(SUB P (C 1 0 1 0))
(JCALL 3 (E THAPPLY1) S)
NIL
(LAP THAPPLY1 SUBR)
(PUSH P 1)
(PUSH P 2)
(PUSH P 3)
(HRRZ@ 1 2)
(HLRZ@ 1 1)
(CALL 1 (E THBIND) S)
(JUMPE 1 TAG4)
(HRRZ@ 2 -1 P)
(HRRZ@ 2 2)
(HLRZ@ 2 2)
(MOVE 1 0 P)
(CALL 2 (E THMATCH1) S)
TAG4 (JUMPE 1 TAG2)
(MOVE 1 (SPECIAL THTRACE) S)
(JUMPE 1 TAG6)
(MOVE 2 -2 P)
(MOVEI 1 (QUOTE THEOREM) S)
(CALL 2 (E THTRACES) S)
TAG6 (HRRZ@ 1 -1 P)
(HRRZ@ 1 1)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE NIL))
(CALL 2 (E XCONS) S)
(HRRZ@ 2 -1 P)
(HRRZ@ 2 2)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THPROG) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(CALL 0 (E THPROGA) S)
(MOVEI 1 (QUOTE T) S)
(JRST 0 TAG1)
TAG2 (MOVE 1 (SPECIAL THOLIST) S)
(MOVEM 1 (SPECIAL THALIST) S)
(CALL 0 (E THPOPT) S)
(MOVEI 1 (QUOTE NIL))
TAG1 (SUB P (C 3 0 3 0))
(POPJ P)
NIL
(LAP THASS1 SUBR)
(JSP 6 SPECBIND)
(0 0 (SPECIAL THX) S)
(0 0 (SPECIAL THY1) S)
(0 0 (SPECIAL THY) S)
(0 0 (SPECIAL TYPE) S)
(PUSH P 1)
(PUSH P 2)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(HRRZ@ 1 1)
(JUMPE 1 TAG5)
(HRRZ@ 1 -2 P)
(CALL 1 (E CAAR) S)
(CAIE 1 (QUOTE THPSEUDO) S)
(JRST 0 TAG7)
(MOVEI 1 (QUOTE T) S)
(MOVEM 1 0 P)
TAG7
TAG5 (HLRZ@ 1 -2 P)
(MOVEM 1 (SPECIAL THX) S)
(CALL 1 (E ATOM) S)
(JUMPN 1 TAG10)
(MOVEI 2 (QUOTE NIL))
(MOVE 1 (SPECIAL THX) S)
(CALL 2 (E THVARSUBST) S)
(MOVEM 1 (SPECIAL THX) S)
(CALL 1 (E THPURE) S)
(JUMPN 1 TAG10)
(MOVE 1 0 P)
(JUMPN 1 TAG10)
(MOVE 1 (SPECIAL THX) S)
(CALL 1 (E PRINT) S)
(MOVEI 1 (QUOTE (IMPURE ASSERTION OR ERASURE - THASS1)) S)
(CALL 17 (E THERT) S)
TAG10 (MOVE 1 (SPECIAL THTRACE) S)
(JUMPE 1 TAG12)
(MOVE 1 0 P)
(JUMPN 1 TAG12)
(MOVE 1 -1 P)
(JUMPE 1 TAG15)
(MOVEI 1 (QUOTE THASSERT) S)
(JRST 0 TAG14)
TAG15 (MOVEI 1 (QUOTE THERASE) S)
TAG14 (MOVE 2 (SPECIAL THX) S)
(CALL 2 (E THTRACES) S)
(JUMPN 1 TAG11)
TAG12
TAG11 (MOVE 1 0 P)
(JUMPE 1 TAG17)
(HRRZ@ 1 -2 P)
(HRRZ@ 1 1)
(JRST 0 TAG16)
TAG17 (HRRZ@ 1 -2 P)
TAG16 (MOVEM 1 -2 P)
(MOVE 1 0 P)
(JUMPE 1 TAG22)
(MOVE 1 (SPECIAL THX) S)
(CALL 1 (E NCONS) S)
(JRST 0 TAG21)
TAG22 (MOVE 1 -1 P)
(JUMPE 1 TAG23)
(PUSH P (SPECIAL THX) S)
(MOVE 1 -3 P)
(JUMPE 1 TAG27)
(CALL 1 (E CAAR) S)
(CAIE 1 (QUOTE THPROP) S)
(TDZA 1 1)
(MOVEI 1 (QUOTE T) S)
TAG27 (JUMPE 1 TAG25)
(HLRZ@ 1 -3 P)
(CALL 1 (E CADR) S)
(CALL 1 (E *EVAL) S)
(HRRZ@ 2 -3 P)
(EXCH 2 1)
(MOVEM 1 -3 P)
(JRST 0 TAG24)
TAG25 (MOVEI 2 (QUOTE NIL))
TAG24 (MOVEM 2 (SPECIAL THY) S)
(POP P 1)
(CALL 2 (E THADD) S)
(JRST 0 TAG21)
TAG23 (MOVE 1 (SPECIAL THX) S)
(CALL 1 (E THREMOVE) S)
TAG21 (MOVEM 1 (SPECIAL THX) S)
(JUMPN 1 TAG20)
(JRST 0 TAG2)
TAG20 (MOVE 1 -1 P)
(JUMPE 1 TAG34)
(MOVEI 1 (QUOTE THANTE) S)
(MOVEM 1 (SPECIAL TYPE) S)
(JRST 0 TAG33)
TAG34 (MOVEI 1 (QUOTE THERASING) S)
(MOVEM 1 (SPECIAL TYPE) S)
TAG33 (MOVE 1 0 P)
(JUMPN 1 TAG35)
(MOVE 1 -1 P)
(JUMPE 1 TAG37)
(MOVEI 1 (QUOTE THASSERT) S)
(JRST 0 TAG36)
TAG37 (MOVEI 1 (QUOTE THERASE) S)
TAG36 (PUSH P 1)
(MOVE 1 (SPECIAL THY) S)
(CALL 1 (E NCONS) S)
(MOVE 2 (SPECIAL THX) S)
(CALL 2 (E XCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
TAG35 (PUSH P (C 0 0 TAG40 0))
(MOVEI D (QUOTE THTAE) S)
(PUSH P D)
(PUSH P -4 P)
(MOVNI 6 2)
(JCALL 16 (E MAPCAN) S)
TAG40 (MOVEM 1 (SPECIAL THY) S)
(JUMPE 1 TAG42)
(MOVEI 2 (QUOTE THDO) S)
(CALL 2 (E XCONS) S)
(MOVEM 1 (SPECIAL THEXP) S)
TAG42 (MOVE 1 (SPECIAL THX) S)
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE NIL))
TAG1 (SUB P (C 3 0 3 0))
(JRST 0 SPECSTR)
NIL
(LAP THASSERT FSUBR)
(MOVEI 2 (QUOTE T) S)
(JCALL 2 (E THASS1) S)
NIL
(DEFPROP THASSERT THASSERTT THSUCCEED)
(DEFPROP THASSERT THASSERTF THFAIL)
(LAP THASSERT THTRACE)
(PUSH P 1)
(PUSH P 2)
(MOVEI 1 (QUOTE (A)) S)
(CALL 17 (E THGENS) S)
(PUSH P 1)
(MOVE 1 -1 P)
(JUMPE 1 TAG5)
(MOVEI 1 (QUOTE (THERT)) S)
TAG5 (CALL 1 (E NCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THTRACES) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(MOVEI 1 (QUOTE ASSERTING) S)
(CALL 1 (E PRINT) S)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(CALL 1 (E PRIN1) S)
(MOVEI 1 (QUOTE / ) S)
(CALL 1 (E PRINC) S)
(MOVE 1 -1 P)
(SUB P (C 2 0 2 0))
(JCALL 1 (E PRIN1) S)
NIL
(LAP THASSERTF SUBR)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG5)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(JRST 0 TAG4)
TAG5 (HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CAADR) S)
TAG4 (CALL 1 (E THREMOVE) S)
(CALL 0 (E THPOPT) S)
(MOVEI 1 (QUOTE NIL))
(POPJ P)
NIL
(LAP THASSERTT SUBR)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(PUSH P 1)
(CALL 0 (E THPOPT) S)
(POP P 1)
(POPJ P)
NIL
(LAP THASVAL FSUBR)
(MOVE 2 (SPECIAL THALIST) S)
(HLRZ@ 1 1)
(CALL 2 (E THGAL) S)
(PUSH P 1)
(JUMPE 1 TAG2)
(CALL 1 (E CADR) S)
(PUSH P 1)
(CAIE 1 (QUOTE THUNASSIGNED) S)
(JRST 0 TAG3)
(TDZA 1 1)
TAG3 (MOVEI 1 (QUOTE T) S)
(SUB P (C 1 0 1 0))
TAG2 (SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THBA SUBR)
(PUSH P 1)
(PUSH P 2)
(PUSH P 2)
TAG1 (MOVE 1 (SPECIAL THPC) S)
(JUMPE 1 TAG10)
(HRRZ@ 1 0 P)
(HLRZ@ 1 1)
(JRST 0 TAG7)
TAG10 (HRRZ@ 1 0 P)
(CALL 1 (E CAAR) S)
TAG7 (CAME 1 -2 P)
(JRST 0 TAG6)
(MOVE 1 0 P)
(JRST 0 TAG2)
TAG6 (HRRZ@ 1 0 P)
(MOVEM 1 0 P)
(HRRZ@ 1 1)
(JUMPN 1 TAG13)
(JRST 0 TAG3)
TAG13 (JRST 0 TAG1)
TAG3 (MOVEI 1 (QUOTE NIL))
TAG2 (SUB P (C 3 0 3 0))
(POPJ P)
NIL
(LAP THBAP SUBR)
(PUSH P 1)
(PUSH P 2)
(PUSH P 2)
TAG1 (MOVE 1 (SPECIAL THPC) S)
(JUMPE 1 TAG10)
(HRRZ@ 1 0 P)
(HLRZ@ 1 1)
(JRST 0 TAG7)
TAG10 (HRRZ@ 1 0 P)
(CALL 1 (E CAAR) S)
TAG7 (MOVE 2 -2 P)
(CALL 2 (E EQUAL) S)
(JUMPE 1 TAG6)
(MOVE 1 0 P)
(JRST 0 TAG2)
TAG6 (HRRZ@ 1 0 P)
(MOVEM 1 0 P)
(HRRZ@ 1 1)
(JUMPN 1 TAG13)
(JRST 0 TAG3)
TAG13 (JRST 0 TAG1)
TAG3 (MOVEI 1 (QUOTE NIL))
TAG2 (SUB P (C 3 0 3 0))
(POPJ P)
NIL
(LAP THBIND SUBR)
(PUSH P 1)
(MOVE 1 (SPECIAL THALIST) S)
(MOVEM 1 (SPECIAL THOLIST) S)
(MOVE 1 0 P)
(JUMPE 1 TAG6)
(TDZA 1 1)
TAG6 (MOVEI 1 (QUOTE T) S)
(JUMPN 1 TAG5)
TAG1 (MOVE 1 0 P)
(JUMPN 1 TAG13)
(MOVE 1 (SPECIAL THOLIST) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE THREMBIND) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(MOVEI 1 (QUOTE T) S)
(JRST 0 TAG7)
TAG13 (HLRZ@ 1 0 P)
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG16)
(MOVEI 1 (QUOTE THUNASSIGNED) S)
(CALL 1 (E NCONS) S)
(HLRZ@ 2 0 P)
(CALL 2 (E XCONS) S)
(JRST 0 TAG15)
TAG16 (HLRZ@ 1 0 P)
(HLRZ@ 1 1)
(CAIE 1 (QUOTE THRESTRICT) S)
(JRST 0 TAG17)
(PUSH P (C 0 0 TAG20 0))
(HLRZ@ 1 -1 P)
(CALL 1 (E CADR) S)
(CALL 1 (E THBI1) S)
(PUSH P 1)
(HLRZ@ 1 -2 P)
(CALL 1 (E CDDR) S)
(PUSH P 1)
(MOVNI 6 2)
(JCALL 16 (E NCONC) S)
TAG20 (JRST 0 TAG15)
TAG17 (HLRZ@ 1 0 P)
(HLRZ@ 1 1)
(PUSH P 1)
(HLRZ@ 1 -1 P)
(CALL 1 (E CADR) S)
(CALL 1 (E *EVAL) S)
(CALL 1 (E NCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
TAG15 (MOVE 2 (SPECIAL THALIST) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THALIST) S)
(HRRZ@ 1 0 P)
(MOVEM 1 0 P)
(JRST 0 TAG1)
TAG7
TAG5 (SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THBI1 SUBR)
(PUSH P 1)
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE THUNASSIGNED) S)
(CALL 1 (E NCONS) S)
(MOVE 2 0 P)
(CALL 2 (E XCONS) S)
(JRST 0 TAG1)
TAG2 (HLRZ@ 1 0 P)
(PUSH P 1)
(HRRZ@ 1 -1 P)
(HLRZ@ 1 1)
(CALL 1 (E *EVAL) S)
(CALL 1 (E NCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
TAG1 (SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THBKPT FSUBR)
(PUSH P 1)
(MOVE 1 (SPECIAL THTRACE) S)
(JUMPE 1 TAG3)
(MOVE 2 0 P)
(MOVEI 1 (QUOTE THBKPT) S)
(CALL 2 (E THTRACES) S)
TAG3 (JUMPN 1 TAG1)
(MOVE 1 (SPECIAL THVALUE) S)
TAG1 (SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THBKPT THTRACE)
(PUSH P 1)
(PUSH P 2)
(MOVEI 1 (QUOTE (B)) S)
(CALL 17 (E THGENS) S)
(PUSH P 1)
(MOVE 1 -1 P)
(JUMPE 1 TAG5)
(MOVEI 1 (QUOTE (THERT)) S)
TAG5 (CALL 1 (E NCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THTRACES) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(MOVEI 1 (QUOTE PASSING/ BKPT) S)
(CALL 1 (E THPRINTC) S)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(CALL 1 (E PRIN1) S)
(MOVEI 1 (QUOTE / ) S)
(CALL 1 (E PRINC) S)
(MOVE 1 (SPECIAL THTREE) S)
(MOVEM 1 (SPECIAL THBRANCH) S)
(MOVE 1 (SPECIAL THALIST) S)
(MOVEM 1 (SPECIAL THABRANCH) S)
(CALL 0 (E THPOPT) S)
(MOVE 1 -1 P)
(SUB P (C 2 0 2 0))
(JCALL 1 (E PRIN1) S)
NIL
(LAP THBRANCH SUBR)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CDADR) S)
(JUMPE 1 TAG2)
(TDZA 1 1)
TAG2 (MOVEI 1 (QUOTE T) S)
(JUMPN 1 TAG1)
(MOVE 1 (SPECIAL THBRANCH) S)
(CAME 1 (SPECIAL THTREE) S)
(JRST 0 TAG3)
(CLEARB 1 (SPECIAL THBRANCH) S)
(JRST 0 TAG1)
TAG3 (HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(CALL 1 (E NCONS) S)
(MOVE 2 (SPECIAL THABRANCH) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THBRANCH) S)
(CALL 2 (E XCONS) S)
(HLRZ@ 2 (SPECIAL THTREE) S)
(HRRZ@ 2 2)
(HRRZ@ 2 2)
(HLRZ@ 2 2)
(CALL 2 (E CONS) S)
(HLRZ@ 2 (SPECIAL THTREE) S)
(HRRZ@ 2 2)
(HRRZ@ 2 2)
(HRLM@ 1 2)
(JUMPE 2 TAG4)
(CLEARB 1 (SPECIAL THBRANCH) S)
(JRST 0 TAG1)
TAG4 (MOVEI 1 (QUOTE NIL))
TAG1 (POPJ P)
NIL
(LAP THBRANCHUN SUBR)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADDR) S)
(MOVEM 1 0 P)
(JUMPE 1 TAG5)
(HLRZ@ 1 (SPECIAL THTREE) S)
(HRRZ@ 1 1)
(HLRZ@ 2 0 P)
(HRRZ@ 2 2)
(HRRZ@ 2 2)
(HLRZ@ 2 2)
(HRLM@ 2 1)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CDDR) S)
(HRRZ@ 2 0 P)
(HRLM@ 2 1)
(HLRZ@ 1 0 P)
(CALL 1 (E CADR) S)
(MOVEM 1 (SPECIAL THALIST) S)
(HLRZ@ 1 0 P)
(HLRZ@ 1 1)
(MOVEM 1 (SPECIAL THTREE) S)
(MOVEI 1 (QUOTE T) S)
(JRST 0 TAG4)
TAG5 (CALL 0 (E THPOPT) S)
(MOVEI 1 (QUOTE NIL))
TAG4 (SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THCOND FSUBR)
(PUSH P 1)
(MOVEI 1 (QUOTE NIL))
(CALL 1 (E NCONS) S)
(MOVE 2 0 P)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THCOND) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(HLRZ@ 1 0 P)
(HLRZ@ 1 1)
(MOVEM 1 (SPECIAL THEXP) S)
(SUB P (C 1 0 1 0))
(POPJ P)
NIL
(DEFPROP THCOND THCONDT THSUCCEED)
(DEFPROP THCOND THCONDF THFAIL)
(LAP THCONDF SUBR)
(MOVEI 1 (QUOTE NIL))
(JCALL 1 (E THOR2) S)
NIL
(LAP THCONDT SUBR)
(HLRZ@ 1 (SPECIAL THTREE) S)
(MOVEI 2 (QUOTE THAND) S)
(HRLM@ 2 1)
(HLRZ@ 1 (SPECIAL THTREE) S)
(HRRZ@ 1 1)
(HLRZ@ 2 1)
(HLRZ@ 2 2)
(HRLM@ 2 1)
(MOVE 1 (SPECIAL THVALUE) S)
(POPJ P)
NIL
(LAP THCONSE FSUBR)
(JSP 6 SPECBIND)
(0 1 (SPECIAL THX) S)
(MOVE 2 1)
(MOVEI 1 (QUOTE THCONSE) S)
(CALL 2 (E THDEF) S)
(JRST 0 SPECSTR)
NIL
(LAP THDATA SUBR)
(PUSH P (C 0 0 (QUOTE NIL) 0))
TAG1 (CALL 0 (E TERPRI) S)
(CALL 0 (E READ) S)
(MOVEM 1 0 P)
(JUMPN 1 TAG6)
(MOVEI 1 (QUOTE T) S)
(JRST 0 TAG2)
TAG6 (HRRZ@ 2 1)
(HLRZ@ 1 1)
(CALL 2 (E THADD) S)
(CALL 1 (E PRINT) S)
(JRST 0 TAG1)
TAG2 (SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THDEF SUBR)
(JSP 6 SPECBIND)
(0 2 (SPECIAL THX) S)
(PUSH P 1)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(HLRZ@ 1 2)
(CALL 1 (E ATOM) S)
(JUMPN 1 TAG5)
(MOVEM 2 -2 P)
(MOVE 1 -3 P)
(CAIE 1 (QUOTE THCONSE) S)
(JRST 0 TAG10)
(MOVEI 1 (QUOTE (TC-G)) S)
(CALL 17 (E THGENAME) S)
(MOVEM 1 -1 P)
(JRST 0 TAG7)
TAG10 (CAIE 1 (QUOTE THANTE) S)
(JRST 0 TAG11)
(MOVEI 1 (QUOTE (TA-G)) S)
(CALL 17 (E THGENAME) S)
(MOVEM 1 -1 P)
(JRST 0 TAG7)
TAG11 (CAIE 1 (QUOTE THERASING) S)
(JRST 0 TAG12)
(MOVEI 1 (QUOTE (TE-G)) S)
(CALL 17 (E THGENAME) S)
(MOVEM 1 -1 P)
TAG12
TAG7 (JRST 0 TAG4)
TAG5 (HLRZ@ 1 2)
(MOVEM 1 -1 P)
(JUMPE 1 TAG13)
(HRRZ@ 1 2)
(MOVEM 1 -2 P)
TAG13
TAG4 (HLRZ@ 1 -2 P)
(CAIE 1 (QUOTE THNOASSERT) S)
(JRST 0 TAG15)
(MOVEI 1 (QUOTE T) S)
(HRRZ@ 2 -2 P)
(MOVEM 1 0 P)
(MOVEM 2 -2 P)
TAG15 (MOVE 2 -2 P)
(MOVE 1 -3 P)
(CALL 2 (E CONS) S)
(MOVEI 3 (QUOTE THEOREM) S)
(MOVE 2 1)
(MOVE 1 -1 P)
(CALL 3 (E THPUTPROP) S)
(MOVE 1 0 P)
(JUMPE 1 TAG17)
(MOVEI 1 (QUOTE ASSERTED) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE NOT) S)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE BUT) S)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE DEFINED) S)
(CALL 2 (E XCONS) S)
(MOVE 2 -1 P)
(CALL 2 (E XCONS) S)
(CALL 1 (E PRINT) S)
(JRST 0 TAG16)
TAG17 (MOVE 1 -1 P)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE T) S)
(CALL 2 (E THASS1) S)
(JUMPE 1 TAG20)
(MOVEI 1 (QUOTE ASSERTED) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE AND) S)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE DEFINED) S)
(CALL 2 (E XCONS) S)
(MOVE 2 -1 P)
(CALL 2 (E XCONS) S)
(CALL 1 (E PRINT) S)
(JRST 0 TAG16)
TAG20 (MOVEI 1 (QUOTE REDEFINED) S)
(CALL 1 (E NCONS) S)
(MOVE 2 -1 P)
(CALL 2 (E XCONS) S)
(CALL 1 (E PRINT) S)
TAG16 (MOVEI 1 (QUOTE T) S)
(SUB P (C 4 0 4 0))
(JRST 0 SPECSTR)
NIL
(LAP THDO FSUBR)
(PUSH P 1)
(JUMPE 1 TAG2)
(TDZA 1 1)
TAG2 (MOVEI 1 (QUOTE T) S)
(JUMPN 1 TAG1)
(MOVEI 1 (QUOTE NIL))
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE NIL))
(CALL 2 (E XCONS) S)
(MOVE 2 0 P)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THDO) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(HLRZ@ 1 0 P)
(MOVEM 1 (SPECIAL THEXP) S)
TAG1 (SUB P (C 1 0 1 0))
(POPJ P)
NIL
(DEFPROP THDO THDOB THSUCCEED)
(DEFPROP THDO THDOB THFAIL)
(LAP THDO1 SUBR)
(HLRZ@ 1 (SPECIAL THTREE) S)
(HRRZ@ 1 1)
(HLRZ@ 2 1)
(HRRZ@ 2 2)
(HRLM@ 2 1)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CAADR) S)
(MOVEM 1 (SPECIAL THEXP) S)
(MOVE 1 (SPECIAL THBRANCH) S)
(JUMPE 1 TAG5)
(HLRZ@ 2 (SPECIAL THTREE) S)
(HRRZ@ 2 2)
(HRRZ@ 2 2)
(HLRZ@ 2 2)
(CALL 2 (E CONS) S)
(HLRZ@ 2 (SPECIAL THTREE) S)
(HRRZ@ 2 2)
(HRRZ@ 2 2)
(HRLM@ 1 2)
(CLEARM 0 (SPECIAL THBRANCH) S)
(HLRZ@ 2 (SPECIAL THTREE) S)
(HRRZ@ 2 2)
(HRRZ@ 2 2)
(HRRZ@ 2 2)
(HLRZ@ 2 2)
(MOVE 1 (SPECIAL THABRANCH) S)
(CALL 2 (E CONS) S)
(PUSH P 1)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CDDDR) S)
(POP P 2)
(HRLM@ 2 1)
TAG5 (POPJ P)
NIL
(LAP THDOB SUBR)
(MOVE 1 (SPECIAL THMESSAGE) S)
(JUMPN 1 TAG3)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CDADR) S)
(JUMPE 1 TAG4)
(TDZA 1 1)
TAG4 (MOVEI 1 (QUOTE T) S)
TAG3 (JUMPE 1 TAG2)
(HLRZ@ 1 (SPECIAL THTREE) S)
(MOVEI 2 (QUOTE THUNDO) S)
(HRLM@ 2 1)
(MOVEI 1 (QUOTE T) S)
(JRST 0 TAG1)
TAG2 (CALL 0 (E THDO1) S)
TAG1 (POPJ P)
NIL
(LAP THDUMP FSUBR)
(PUSH P 1)
(HLRZ@ 1 1)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE DSK:) S)
(CALL 2 (E XCONS) S)
(CALL 17 (E OUTPUT) S)
(MOVEI 2 (QUOTE NIL))
(CALL 2 (E OUTC) S)
(PUSH P 1)
(HRRZ@ 1 -1 P)
(CALL 17 (E THSTATE) S)
(MOVEI 2 (QUOTE T) S)
(POP P 1)
(SUB P (C 1 0 1 0))
(JCALL 2 (E OUTC) S)
NIL
(LAP THERASE FSUBR)
(MOVEI 2 (QUOTE NIL))
(JCALL 2 (E THASS1) S)
NIL
(DEFPROP THERASE THERASET THSUCCEED)
(DEFPROP THERASE THERASEF THFAIL)
(LAP THERASE THTRACE)
(PUSH P 1)
(PUSH P 2)
(MOVEI 1 (QUOTE (E)) S)
(CALL 17 (E THGENS) S)
(PUSH P 1)
(MOVE 1 -1 P)
(JUMPE 1 TAG5)
(MOVEI 1 (QUOTE (THERT)) S)
TAG5 (CALL 1 (E NCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THTRACES) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(MOVEI 1 (QUOTE ERASING) S)
(CALL 1 (E PRINT) S)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(CALL 1 (E PRIN1) S)
(MOVEI 1 (QUOTE / ) S)
(CALL 1 (E PRINC) S)
(MOVE 1 -1 P)
(SUB P (C 2 0 2 0))
(JCALL 1 (E PRIN1) S)
NIL
(LAP THERASEF SUBR)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG5)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(JRST 0 TAG4)
TAG5 (HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CAADR) S)
TAG4 (PUSH P 1)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG11)
(MOVEI 2 (QUOTE NIL))
(JRST 0 TAG10)
TAG11 (HLRZ@ 2 (SPECIAL THTREE) S)
(HRRZ@ 2 2)
(HLRZ@ 2 2)
(HRRZ@ 2 2)
TAG10 (POP P 1)
(CALL 2 (E THADD) S)
(CALL 0 (E THPOPT) S)
(MOVEI 1 (QUOTE NIL))
(POPJ P)
NIL
(LAP THERASET SUBR)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(PUSH P 1)
(CALL 0 (E THPOPT) S)
(POP P 1)
(POPJ P)
NIL
(LAP THERASING FSUBR)
(JSP 6 SPECBIND)
(0 1 (SPECIAL THX) S)
(MOVE 2 1)
(MOVEI 1 (QUOTE THERASING) S)
(CALL 2 (E THDEF) S)
(JRST 0 SPECSTR)
NIL
(LAP THFAIL FSUBR)
(PUSH P 1)
(JUMPE 1 TAG10)
(JSP 6 SPECBIND)
(0 0 (SPECIAL THX) S)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
TAG1 (HLRZ@ 1 -2 P)
(CAIE 1 (QUOTE THEOREM) S)
(JRST 0 TAG15)
(MOVEI 1 (QUOTE THPROG) S)
(MOVEM 1 -1 P)
(JRST 0 TAG14)
TAG15 (HLRZ@ 1 -2 P)
(CAIE 1 (QUOTE THTAG) S)
(JRST 0 TAG16)
(MOVEI 1 (QUOTE THPROG) S)
(MOVEM 1 -1 P)
(JRST 0 TAG14)
TAG16 (HLRZ@ 1 -2 P)
(CAIE 1 (QUOTE THINF) S)
(JRST 0 TAG17)
(MOVEI 1 (QUOTE T) S)
(MOVEM 1 (SPECIAL THINF) S)
(JRST 0 TAG12)
TAG17 (HLRZ@ 1 -2 P)
(CAIE 1 (QUOTE THMESSAGE) S)
(JRST 0 TAG20)
(HRRZ@ 1 -2 P)
(HLRZ@ 1 1)
(MOVEM 1 (SPECIAL THMESSAGE) S)
(JRST 0 TAG12)
TAG20 (HLRZ@ 1 -2 P)
(MOVEM 1 -1 P)
TAG14 (MOVE 1 (SPECIAL THTREE) S)
(MOVEM 1 0 P)
TAG2 (MOVE 1 0 P)
(JUMPN 1 TAG24)
(MOVE 1 -2 P)
(CALL 1 (E PRINT) S)
(MOVEI 1 (QUOTE (NOT FOUND - THFAIL)) S)
(CALL 17 (E THERT) S)
(MOVEM 1 -2 P)
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG27)
(MOVE 1 -2 P)
(JRST 0 TAG11)
TAG27 (JRST 0 TAG1)
(JRST 0 TAG23)
TAG24 (CALL 1 (E CAAR) S)
(CAMN 1 -1 P)
(JRST 0 TAG4)
TAG23
TAG3 (HRRZ@ 1 0 P)
(MOVEM 1 0 P)
(JRST 0 TAG2)
TAG4 (HLRZ@ 1 -2 P)
(CAIE 1 (QUOTE THTAG) S)
(JRST 0 TAG32)
(HLRZ@ 1 0 P)
(HRRZ@ 2 1)
(HRRZ@ 2 2)
(HRRZ@ 2 2)
(HLRZ@ 2 2)
(HRRZ@ 1 -2 P)
(HLRZ@ 1 1)
(CALL 2 (E MEMQ#) S)
(JUMPN 1 TAG5)
(JRST 0 TAG3)
TAG32 (PUSH P 0 P)
(HRRZ@ 1 0 P)
(PUSH P 1)
(HRRZ@ 1 -4 P)
(JUMPE 1 TAG36)
(HRRZ@ 1 -4 P)
(HLRZ@ 1 1)
TAG36 (CALL 1 (E NCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(MOVEM 1 (SPECIAL THMESSAGE) S)
(SUB P (C 1 0 1 0))
(JRST 0 TAG12)
TAG5 (HLRZ@ 1 0 P)
(CALL 1 (E CADDR) S)
(MOVEM 1 (SPECIAL THX) S)
TAG6 (MOVE 1 (SPECIAL THX) S)
(JUMPE 1 TAG3)
(HRRZ@ 1 -2 P)
(HLRZ@ 1 1)
(HLRZ@ 2 (SPECIAL THX) S)
(HRRZ@ 2 2)
(HRRZ@ 2 2)
(HLRZ@ 2 2)
(HLRZ@ 2 2)
(CAME 2 1)
(JRST 0 TAG41)
(HLRZ@ 1 (SPECIAL THX) S)
(HLRZ@ 1 1)
(PUSH P 1)
(HRRZ@ 1 -3 P)
(HRRZ@ 1 1)
(JUMPE 1 TAG43)
(HRRZ@ 1 -3 P)
(CALL 1 (E CADR) S)
TAG43 (CALL 1 (E NCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(MOVEM 1 (SPECIAL THMESSAGE) S)
(JRST 0 TAG12)
TAG41 (HRRZ@ 1 (SPECIAL THX) S)
(MOVEM 1 (SPECIAL THX) S)
(JRST 0 TAG6)
TAG12 (MOVEI 1 (QUOTE NIL))
TAG11 (PUSHJ P SPECSTR)
(SUB P (C 2 0 2 0))
TAG10 (SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THFAIL? SUBR)
(PUSH P 1)
(PUSH P 2)
(MOVE 1 0 P)
(CALL 1 (E NCONS) S)
(MOVE 2 -1 P)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THFAIL?) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(MOVE 1 (SPECIAL THVALUE) S)
(SUB P (C 2 0 2 0))
(POPJ P)
NIL
(DEFPROP THFAIL? THFAIL?T THSUCCEED)
(DEFPROP THFAIL? THFAIL?F THFAIL)
(LAP THFAIL?F SUBR)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(CALL 1 (E *EVAL) S)
(JUMPE 1 TAG2)
(JUMPE 1 TAG2)
(CLEARM 0 (SPECIAL THMESSAGE) S)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADDR) S)
(CALL 1 (E *EVAL) S)
(PUSH P 1)
(CALL 0 (E THPOPT) S)
(POP P 1)
(JRST 0 TAG1)
TAG2 (CALL 0 (E THPOPT) S)
(MOVEI 1 (QUOTE NIL))
TAG1 (POPJ P)
NIL
(LAP THFAIL?T SUBR)
(CALL 0 (E THPOPT) S)
(MOVE 1 (SPECIAL THVALUE) S)
(POPJ P)
NIL
(LAP THFINALIZE FSUBR)
(JSP 6 SPECBIND)
(0 0 (SPECIAL THX) S)
(PUSH P 1)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(JUMPN 1 TAG11)
(MOVEI 1 (QUOTE (BAD CALL - THFINALIZE)) S)
(CALL 17 (E THERT) S)
(MOVEM 1 -2 P)
TAG11 (MOVE 1 -2 P)
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG14)
(MOVE 1 -2 P)
(JRST 0 TAG5)
TAG14 (HLRZ@ 1 -2 P)
(CAIE 1 (QUOTE THTAG) S)
(JRST 0 TAG15)
(HRRZ@ 1 -2 P)
(HLRZ@ 1 1)
(MOVEM 1 -1 P)
(JRST 0 TAG13)
TAG15 (HLRZ@ 1 -2 P)
(CAIE 1 (QUOTE THEOREM) S)
(JRST 0 TAG16)
(MOVEI 1 (QUOTE THPROG) S)
(CALL 1 (E NCONS) S)
(MOVEM 1 -2 P)
TAG16
TAG13 (MOVE 2 (SPECIAL THTREE) S)
(MOVEI 1 (QUOTE NIL))
(CALL 2 (E CONS) S)
(MOVEM 1 0 P)
(MOVEM 1 (SPECIAL THTREE) S)
TAG1 (HRRZ@ 1 0 P)
(HLRZ@ 1 1)
(MOVEM 1 (SPECIAL THX) S)
(HRRZ@ 1 0 P)
(JUMPN 1 TAG20)
(MOVE 1 -2 P)
(CALL 1 (E PRINT) S)
(MOVEI 1 (QUOTE (OVERPOP - THFINALIZE)) S)
(CALL 17 (E THERT) S)
(JRST 0 TAG17)
TAG20 (MOVE 1 -1 P)
(JUMPE 1 TAG23)
(HLRZ@ 1 (SPECIAL THX) S)
(CAIE 1 (QUOTE THPROG) S)
(JRST 0 TAG25)
(HRRZ@ 2 (SPECIAL THX) S)
(HRRZ@ 2 2)
(HRRZ@ 2 2)
(HLRZ@ 2 2)
(MOVE 1 -1 P)
(CALL 2 (E MEMQ#) S)
(JRST 0 TAG24)
TAG25 (MOVEI 1 (QUOTE NIL))
TAG24
TAG23 (JUMPN 1 TAG2)
(HLRZ@ 1 (SPECIAL THX) S)
(CAIE 1 (QUOTE THPROG) S)
(TDZA 1 1)
(MOVEI 1 (QUOTE T) S)
(JUMPN 1 TAG27)
(HLRZ@ 1 (SPECIAL THX) S)
(CAIE 1 (QUOTE THAND) S)
(TDZA 1 1)
(MOVEI 1 (QUOTE T) S)
TAG27 (JUMPE 1 TAG26)
(HRRZ@ 1 (SPECIAL THX) S)
(HRRZ@ 1 1)
(HRRZS@ 0 1)
(HRRZ@ 1 0 P)
(MOVEM 1 0 P)
(JRST 0 TAG17)
TAG26 (HLRZ@ 1 (SPECIAL THX) S)
(CAIE 1 (QUOTE THREMBIND) S)
(JRST 0 TAG30)
(HRRZ@ 1 0 P)
(MOVEM 1 0 P)
(JRST 0 TAG17)
TAG30 (HRRZ@ 1 0 P)
(HRRZ@ 1 1)
(HRRM@ 1 0 P)
(MOVE 1 0 P)
TAG17 (HLRZ@ 1 -2 P)
(HLRZ@ 2 (SPECIAL THX) S)
(CAMN 2 1)
(JRST 0 TAG4)
(JRST 0 TAG1)
TAG2 (HRRZ@ 1 (SPECIAL THX) S)
(HRRZ@ 1 1)
(MOVEM 1 (SPECIAL THX) S)
TAG3 (HLRZ@ 1 (SPECIAL THX) S)
(JUMPN 1 TAG33)
(HRRZ@ 1 0 P)
(MOVEM 1 0 P)
(JRST 0 TAG1)
TAG33 (HLRZ@ 1 (SPECIAL THX) S)
(HLRZ@ 1 1)
(CALL 1 (E CAADDR) S)
(CAMN 1 -1 P)
(JRST 0 TAG4)
(HLRZ@ 1 (SPECIAL THX) S)
(HRRZ@ 1 1)
(PUSH P (SPECIAL THX) S)
(HRLM@ 1 0 P)
(SUB P (C 1 0 1 0))
(JRST 0 TAG3)
TAG4 (HRRZ@ 1 (SPECIAL THTREE) S)
(MOVEM 1 (SPECIAL THTREE) S)
(MOVEI 1 (QUOTE T) S)
TAG5 (SUB P (C 3 0 3 0))
(JRST 0 SPECSTR)
NIL
(LAP THFIND FSUBR)
(PUSH P 1)
(HRRZ@ 1 0 P)
(CALL 1 (E CADR) S)
(CALL 1 (E THBIND) S)
(HLRZ@ 1 0 P)
(CAIE 1 (QUOTE ALL) S)
(JRST 0 TAG5)
(MOVEI 1 (QUOTE (1 NIL NIL)) S)
(JRST 0 TAG4)
TAG5 (HLRZ@ 1 0 P)
(CALL 1 (E NUMBERP) S)
(JUMPE 1 TAG6)
(MOVEI 1 (QUOTE T) S)
(CALL 1 (E NCONS) S)
(HLRZ@ 2 0 P)
(CALL 2 (E XCONS) S)
(HLRZ@ 2 0 P)
(CALL 2 (E XCONS) S)
(JRST 0 TAG4)
TAG6 (HLRZ@ 1 0 P)
(HLRZ@ 1 1)
(CALL 1 (E NUMBERP) S)
(JUMPE 1 TAG7)
(HLRZ@ 1 0 P)
(JRST 0 TAG4)
TAG7 (HLRZ@ 1 0 P)
(HLRZ@ 1 1)
(CAIE 1 (QUOTE EXACTLY) S)
(JRST 0 TAG10)
(HLRZ@ 1 0 P)
(CALL 1 (E CADR) S)
(PUSH P 1)
(CALL 1 (E ADD1) S)
(PUSH P 1)
(MOVEI 1 (QUOTE NIL))
(CALL 1 (E NCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(JRST 0 TAG4)
TAG10 (HLRZ@ 1 0 P)
(HLRZ@ 1 1)
(CAIE 1 (QUOTE AT-MOST) S)
(JRST 0 TAG11)
(HLRZ@ 1 0 P)
(CALL 1 (E CADR) S)
(CALL 1 (E ADD1) S)
(PUSH P 1)
(MOVEI 1 (QUOTE NIL))
(CALL 1 (E NCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE 1))
(CALL 2 (E XCONS) S)
(JRST 0 TAG4)
TAG11 (HLRZ@ 1 0 P)
(HLRZ@ 1 1)
(CAIE 1 (QUOTE AS-MANY-AS) S)
(JRST 0 TAG12)
(MOVEI 1 (QUOTE T) S)
(CALL 1 (E NCONS) S)
(HLRZ@ 2 0 P)
(HRRZ@ 2 2)
(HLRZ@ 2 2)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE 1))
(CALL 2 (E XCONS) S)
(JRST 0 TAG4)
TAG12 (PUSH P 0 P)
(HLRZ@ 1 0 P)
(CALL 1 (E CADR) S)
(PUSH P 1)
(HLRZ@ 1 -2 P)
(CALL 1 (E CDDR) S)
(JUMPN 1 TAG16)
(MOVEI 1 (QUOTE T) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE NIL))
(CALL 2 (E XCONS) S)
(MOVE 2 1)
(JRST 0 TAG15)
TAG16 (HLRZ@ 1 -2 P)
(CALL 1 (E CADDR) S)
(CAIE 1 (QUOTE AT-MOST) S)
(JRST 0 TAG20)
(HLRZ@ 1 -2 P)
(CALL 1 (E CDDDR) S)
(HLRZ@ 1 1)
(CALL 1 (E ADD1) S)
(PUSH P 1)
(MOVEI 1 (QUOTE NIL))
(CALL 1 (E NCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(MOVE 2 1)
(JRST 0 TAG15)
TAG20 (MOVEI 1 (QUOTE T) S)
(CALL 1 (E NCONS) S)
(HLRZ@ 2 -2 P)
(HRRZ@ 2 2)
(HRRZ@ 2 2)
(HRRZ@ 2 2)
(HLRZ@ 2 2)
(CALL 2 (E XCONS) S)
(MOVE 2 1)
TAG15 (POP P 1)
(CALL 2 (E CONS) S)
(SUB P (C 1 0 1 0))
TAG4 (PUSH P 1)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E NCONS) S)
(PUSH P 1)
(HRRZ@ 1 -2 P)
(HLRZ@ 1 1)
(CALL 1 (E NCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THFIND) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(HRRZ@ 1 0 P)
(HRRZ@ 1 1)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE NIL))
(CALL 2 (E XCONS) S)
(HRRZ@ 2 0 P)
(HRRZ@ 2 2)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THPROG) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(SUB P (C 1 0 1 0))
(JCALL 0 (E THPROGA) S)
NIL
(DEFPROP THFIND THFINDT THSUCCEED)
(DEFPROP THFIND THFINDF THFAIL)
(LAP THFINDF SUBR)
(CLEARM 0 (SPECIAL THBRANCH) S)
(MOVE 1 (SPECIAL THMESSAGE) S)
(JUMPN 1 TAG6)
(HLRZ@ 1 (SPECIAL THTREE) S)
(HRRZ@ 1 1)
(MOVEM 1 (SPECIAL THXX) S)
(HLRZ@ 2 1)
(HLRZ@ 2 2)
(CALL 1 (E CAADR) S)
(CALL 2 (E *LESS) S)
TAG6 (JUMPE 1 TAG5)
(CALL 0 (E THPOPT) S)
(MOVEI 1 (QUOTE NIL))
(JRST 0 TAG4)
TAG5 (CALL 0 (E THPOPT) S)
(HRRZ@ 1 (SPECIAL THXX) S)
(CALL 1 (E CDAR) S)
TAG4 (POPJ P)
NIL
(LAP THFINDT SUBR)
(JSP 6 SPECBIND)
(0 0 (SPECIAL THX) S)
(0 0 (SPECIAL THY) S)
(0 0 (SPECIAL THZ) S)
(HLRZ@ 1 (SPECIAL THTREE) S)
(HRRZ@ 1 1)
(PUSH P 1)
(CALL 1 (E CADDR) S)
(MOVEM 1 (SPECIAL THZ) S)
(MOVEI 2 (QUOTE NIL))
(CALL 2 (E THVARSUBST) S)
(MOVEM 1 (SPECIAL THX) S)
(HRRZ@ 2 0 P)
(HLRZ@ 2 2)
(HRRZ@ 2 2)
(CALL 2 (E MEMBER#) S)
(JUMPN 1 TAG1)
(HRRZ@ 2 0 P)
(HLRZ@ 2 2)
(HRRZ@ 2 2)
(MOVE 1 (SPECIAL THX) S)
(CALL 2 (E CONS) S)
(HRRZ@ 2 0 P)
(HLRZ@ 2 2)
(HRRM@ 1 2)
(HRRZ@ 1 0 P)
(CALL 1 (E CAAR) S)
(CALL 1 (E ADD1) S)
(MOVEM 1 (SPECIAL THY) S)
(HLRZ@ 1 0 P)
(CALL 1 (E CADR) S)
(CAME 1 (SPECIAL THY) S)
(JRST 0 TAG7)
(CLEARM 0 (SPECIAL THBRANCH) S)
(HLRZ@ 1 0 P)
(CALL 1 (E CADDR) S)
(JUMPE 1 TAG11)
(HRRZ@ 1 0 P)
(CALL 1 (E CDAR) S)
TAG11 (PUSH P 1)
(CALL 0 (E THPOPT) S)
(POP P 1)
(JRST 0 TAG2)
TAG7 (HRRZ@ 1 0 P)
(HLRZ@ 1 1)
(PUSH P (SPECIAL THY) S)
(POP P 2)
(HRLM@ 2 1)
TAG1 (MOVE 1 (SPECIAL THBRANCH) S)
(MOVEM 1 (SPECIAL THTREE) S)
(MOVE 1 (SPECIAL THABRANCH) S)
(MOVEM 1 (SPECIAL THALIST) S)
(CLEARM 0 (SPECIAL THBRANCH) S)
(MOVEI 1 (QUOTE NIL))
TAG2 (SUB P (C 1 0 1 0))
(JRST 0 SPECSTR)
NIL
(LAP THFLUSH FSUBR)
(PUSH P 1)
(MOVE 1 0 P)
(JUMPN 1 TAG7)
(MOVEI 1 (QUOTE (THASSERTION THCONSE THANTE THERASING)) S)
TAG7 (PUSH P 1)
(MOVEM 1 -1 P)
TAG1 (MOVE 1 0 P)
(JUMPE 1 TAG14)
(HLRZ@ 1 0 P)
(PUSH P (SPECIAL OBLIST) S)
(PUSH P 1)
TAG2 (MOVE 1 -1 P)
(JUMPE 1 TAG23)
(HLRZ@ 1 -1 P)
(PUSH P 1)
TAG3 (MOVE 1 0 P)
(JUMPE 1 TAG32)
(HLRZ@ 1 0 P)
(MOVE 2 -1 P)
(CALL 2 (E REMPROP) S)
(HRRZ@ 1 0 P)
(MOVEM 1 0 P)
(JRST 0 TAG3)
TAG32 (HRRZ@ 1 -2 P)
(MOVEM 1 -2 P)
(SUB P (C 1 0 1 0))
(JRST 0 TAG2)
TAG23 (HRRZ@ 1 -2 P)
(MOVEM 1 -2 P)
(SUB P (C 2 0 2 0))
(JRST 0 TAG1)
TAG14 (MOVE 1 -1 P)
(SUB P (C 1 0 1 0))
(SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THGAL SUBR)
(PUSH P 1)
(PUSH P 2)
(MOVE 1 -1 P)
(MOVEM 1 (SPECIAL THXX) S)
(MOVE 2 0 P)
(HRRZ@ 1 -1 P)
(HLRZ@ 1 1)
(CALL 2 (E ASSOC) S)
(JUMPN 1 TAG4)
(MOVE 1 (SPECIAL THXX) S)
(CALL 1 (E PRINT) S)
(MOVEI 1 (QUOTE (THUNBOUND THGAL)) S)
(CALL 17 (E THERT) S)
TAG4 (SUB P (C 2 0 2 0))
(POPJ P)
NIL
(LAP THGENAME FSUBR)
(PUSH P 1)
(PUSH P (C 0 0 TAG1 0))
(HLRZ@ 1 1)
(CALL 1 (E EXPLODE) S)
(PUSH P 1)
(MOVE 1 (SPECIAL THGENAME) S)
(CALL 1 (E ADD1) S)
(MOVEM 1 (SPECIAL THGENAME) S)
(CALL 1 (E EXPLODE) S)
(PUSH P 1)
(MOVNI 6 2)
(JCALL 16 (E NCONC) S)
TAG1 (SUB P (C 1 0 1 0))
(JCALL 1 (E READLIST) S)
NIL
(DEFPROP THGENAME (THGENAME . 0) VALUE)
(LAP THGO FSUBR)
(MOVEI 2 (QUOTE THTAG) S)
(CALL 2 (E XCONS) S)
(MOVE 2 1)
(MOVEI 1 (QUOTE THSUCCEED) S)
(JCALL 2 (E APPLY#) S)
NIL
(LAP THGOAL FSUBR)
(JSP 6 SPECBIND)
(0 0 (SPECIAL THY) S)
(0 0 (SPECIAL THY1) S)
(0 0 (SPECIAL THZ) S)
(0 0 (SPECIAL THZ1) S)
(0 0 (SPECIAL THA2) S)
(PUSH P 1)
(MOVEI 2 (QUOTE T) S)
(HLRZ@ 1 1)
(CALL 2 (E THVARSUBST) S)
(MOVEM 1 (SPECIAL THA2) S)
(HRRZ@ 1 0 P)
(PUSH P 1)
(JUMPE 1 TAG7)
(TDZA 1 1)
TAG7 (MOVEI 1 (QUOTE T) S)
(JUMPN 1 TAG6)
(HLRZ@ 1 0 P)
(HLRZ@ 1 1)
(CAIE 1 (QUOTE THANUM) S)
(JRST 0 TAG14)
(HLRZ@ 1 0 P)
(CALL 1 (E CADR) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE THNUM) S)
(CALL 2 (E XCONS) S)
(PUSH P 1)
(MOVEI 1 (QUOTE THTRUE) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE THDBF) S)
(CALL 2 (E XCONS) S)
(HRRZ@ 2 -1 P)
(CALL 2 (E CONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(MOVEM 1 0 P)
(JRST 0 TAG13)
TAG14 (MOVEI 1 (QUOTE NIL))
TAG13 (JUMPN 1 TAG11)
(HLRZ@ 1 0 P)
(HLRZ@ 1 1)
(CAIE 1 (QUOTE THNODB) S)
(JRST 0 TAG21)
(HRRZ@ 1 0 P)
(MOVEM 1 0 P)
(MOVEI 1 (QUOTE T) S)
(JRST 0 TAG20)
TAG21 (MOVEI 1 (QUOTE NIL))
TAG20 (JUMPN 1 TAG16)
(HLRZ@ 1 0 P)
(HLRZ@ 1 1)
(PUSH P 1)
(CAIE 1 (QUOTE THDBF) S)
(JRST 0 TAG22)
(TDZA 1 1)
TAG22 (MOVEI 1 (QUOTE T) S)
(SUB P (C 1 0 1 0))
(JRST 0 TAG15)
TAG16 (MOVEI 1 (QUOTE NIL))
TAG15 (JRST 0 TAG10)
TAG11 (MOVEI 1 (QUOTE NIL))
TAG10
TAG6 (JUMPE 1 TAG5)
(MOVEI 1 (QUOTE THTRUE) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE THDBF) S)
(CALL 2 (E XCONS) S)
(MOVE 2 0 P)
(CALL 2 (E CONS) S)
(MOVEM 1 0 P)
TAG5 (PUSH P (C 0 0 TAG23 0))
(MOVEI D (QUOTE THTRY) S)
(PUSH P D)
(PUSH P -2 P)
(MOVNI 6 2)
(JCALL 16 (E MAPCAN) S)
TAG23 (MOVEM 1 0 P)
(MOVE 1 (SPECIAL THTRACE) S)
(JUMPE 1 TAG25)
(MOVE 2 (SPECIAL THA2) S)
(MOVEI 1 (QUOTE THGOAL) S)
(CALL 2 (E THTRACES) S)
TAG25 (MOVE 1 0 P)
(JUMPE 1 TAG2)
(MOVE 1 0 P)
(CALL 1 (E NCONS) S)
(MOVE 2 (SPECIAL THA2) S)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THGOAL) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(CALL 1 (E CDDAR) S)
(MOVEI 2 (QUOTE 777777) S)
(HRRM@ 2 1)
TAG2 (MOVEI 1 (QUOTE NIL))
(SUB P (C 2 0 2 0))
(JRST 0 SPECSTR)
NIL
(DEFPROP THGOAL THGOALT THSUCCEED)
(DEFPROP THGOAL THGOALF THFAIL)
(LAP THGOAL THTRACE)
(PUSH P 1)
(PUSH P 2)
(MOVEI 1 (QUOTE (G)) S)
(CALL 17 (E THGENS) S)
(PUSH P 1)
(MOVE 1 -1 P)
(JUMPE 1 TAG5)
(MOVEI 1 (QUOTE (THERT)) S)
TAG5 (CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE (AND# THVALUE (PRIN1 THVALUE))) S)
(CALL 2 (E XCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THTRACES) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(MOVEI 1 (QUOTE TRYING/ GOAL) S)
(CALL 1 (E THPRINTC) S)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(CALL 1 (E PRIN1) S)
(MOVEI 1 (QUOTE / ) S)
(CALL 1 (E PRINC) S)
(MOVE 1 -1 P)
(SUB P (C 2 0 2 0))
(JCALL 1 (E PRIN1) S)
NIL
(LAP THGOALF SUBR)
(MOVE 1 (SPECIAL THMESSAGE) S)
(JUMPE 1 TAG2)
(CALL 0 (E THPOPT) S)
(MOVEI 1 (QUOTE NIL))
(JRST 0 TAG1)
TAG2 (CALL 0 (E THTRY1) S)
(JUMPN 1 TAG1)
(CALL 0 (E THPOPT) S)
(MOVEI 1 (QUOTE NIL))
TAG1 (POPJ P)
NIL
(LAP THGOALT SUBR)
(MOVE 1 (SPECIAL THVALUE) S)
(CAIE 1 (QUOTE THNOVAL) S)
(JRST 0 TAG2)
(MOVEI 2 (QUOTE NIL))
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(CALL 2 (E THVARSUBST) S)
(JRST 0 TAG1)
TAG2
TAG1 (PUSH P 1)
(CALL 0 (E THPOPT) S)
(POP P 1)
(POPJ P)
NIL
(LAP THIP SUBR)
(PUSH P 1)
(MOVE 1 (SPECIAL THNF) S)
(CALL 1 (E ADD1) S)
(MOVEM 1 (SPECIAL THNF) S)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(MOVE 1 -5 P)
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG7)
(MOVE 1 -5 P)
(CAIN 1 (QUOTE ?) S)
(JRST 0 TAG11)
(CALL 1 (E NUMBERP) S)
(JUMPE 1 TAG13)
(TDZA 1 1)
TAG13 (MOVEI 1 (QUOTE T) S)
(JRST 0 TAG10)
TAG11 (MOVEI 1 (QUOTE NIL))
TAG10
TAG7 (JUMPE 1 TAG5)
(MOVE 1 -5 P)
(MOVEM 1 -4 P)
(JRST 0 TAG4)
TAG5 (MOVE 1 -5 P)
(CAIE 1 (QUOTE ?) S)
(TDZA 1 1)
(MOVEI 1 (QUOTE T) S)
(JUMPN 1 TAG15)
(MOVEI 2 (QUOTE (THV THNV)) S)
(HLRZ@ 1 -5 P)
(CALL 2 (E MEMQ#) S)
TAG15 (JUMPE 1 TAG14)
(MOVE 1 (SPECIAL THFST) S)
(JUMPE 1 TAG17)
(MOVEI 1 (QUOTE THVRB) S)
(JRST 0 TAG1)
TAG17 (MOVEI 1 (QUOTE THVRB) S)
(MOVEM 1 -4 P)
(JRST 0 TAG4)
TAG14 (MOVEI 1 (QUOTE THVRB) S)
(JRST 0 TAG1)
TAG4 (MOVE 2 (SPECIAL THWH) S)
(MOVE 1 -4 P)
(CALL 2 (E GET) S)
(MOVEM 1 0 P)
(JUMPN 1 TAG23)
(MOVE 1 (SPECIAL THTTL) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE 1))
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THLAS) S)
(CALL 2 (E XCONS) S)
(CALL 1 (E NCONS) S)
(MOVE 2 (SPECIAL THNF) S)
(CALL 2 (E XCONS) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE NIL))
(CALL 2 (E XCONS) S)
(MOVE 3 (SPECIAL THWH) S)
(MOVE 2 1)
(MOVE 1 -4 P)
(CALL 3 (E PUTPROP) S)
(JRST 0 TAG22)
TAG23 (CAIE 1 (QUOTE THNOHASH) S)
(JRST 0 TAG25)
(MOVEI 1 (QUOTE THBQF) S)
(JRST 0 TAG1)
TAG25 (HRRZ@ 2 1)
(MOVE 1 (SPECIAL THNF) S)
(CALL 2 (E ASSOC) S)
(MOVEM 1 -3 P)
(JUMPN 1 TAG26)
(PUSH P (C 0 0 TAG30 0))
(PUSH P -1 P)
(MOVE 1 (SPECIAL THTTL) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE 1))
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THLAS) S)
(CALL 2 (E XCONS) S)
(CALL 1 (E NCONS) S)
(MOVE 2 (SPECIAL THNF) S)
(CALL 2 (E XCONS) S)
(CALL 1 (E NCONS) S)
(PUSH P 1)
(MOVNI 6 2)
(JCALL 16 (E NCONC) S)
TAG30 (JRST 0 TAG22)
TAG26 (HRRZ@ 2 1)
(MOVE 1 (SPECIAL THLAS) S)
(CALL 2 (E ASSOC) S)
(MOVEM 1 -1 P)
(JUMPN 1 TAG31)
(PUSH P (C 0 0 TAG33 0))
(PUSH P -4 P)
(MOVE 1 (SPECIAL THTTL) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE 1))
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THLAS) S)
(CALL 2 (E XCONS) S)
(CALL 1 (E NCONS) S)
(PUSH P 1)
(MOVNI 6 2)
(JCALL 16 (E NCONC) S)
TAG33 (JRST 0 TAG22)
TAG31 (MOVE 1 (SPECIAL THFST) S)
(JUMPN 1 TAG36)
(MOVE 1 (SPECIAL THFSTP) S)
TAG36 (JUMPE 1 TAG35)
(MOVE 1 (SPECIAL THWH) S)
(CAIE 1 (QUOTE THASSERTION) S)
(JRST 0 TAG40)
(HRRZ@ 2 -1 P)
(HRRZ@ 2 2)
(MOVE 1 (SPECIAL THTT) S)
(CALL 2 (E ASSOC#) S)
(JRST 0 TAG37)
TAG40 (HRRZ@ 2 -1 P)
(HRRZ@ 2 2)
(MOVE 1 (SPECIAL THTT) S)
(CALL 2 (E MEMQ#) S)
TAG37
TAG35 (JUMPN 1 TAG2)
(HRRZ@ 1 -1 P)
(HRRZ@ 1 1)
(MOVEM 1 -2 P)
(JUMPE 1 TAG43)
(HRRZ@ 1 -1 P)
(PUSH P 1)
(HLRZ@ 1 1)
(CALL 1 (E ADD1) S)
(HRLM@ 1 0 P)
(HRRZ@ 1 -2 P)
(MOVEM 1 0 P)
(PUSH P (C 0 0 TAG44 0))
(MOVE 1 (SPECIAL THTTL) S)
(CALL 1 (E NCONS) S)
(PUSH P 1)
(PUSH P -5 P)
(MOVNI 6 2)
(JCALL 16 (E NCONC) S)
TAG44 (HRRM@ 1 0 P)
(SUB P (C 1 0 1 0))
TAG43
TAG22 (MOVEI 1 (QUOTE THOK) S)
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE NIL))
TAG1 (SUB P (C 6 0 6 0))
(POPJ P)
NIL
(LAP THMATCH2 SUBR)
(JSP 6 SPECBIND)
(0 1 (SPECIAL THX) S)
(0 2 (SPECIAL THY) S)
(HLRZ@ 1 (SPECIAL THX) S)
(CAIE 1 (QUOTE THEV) S)
(JRST 0 TAG5)
(MOVE 2 (SPECIAL THOLIST) S)
(HRRZ@ 1 (SPECIAL THX) S)
(HLRZ@ 1 1)
(CALL 2 (E THVAL) S)
(MOVEM 1 (SPECIAL THX) S)
TAG5 (HLRZ@ 1 (SPECIAL THY) S)
(CAIE 1 (QUOTE THEV) S)
(JRST 0 TAG7)
(MOVE 2 (SPECIAL THALIST) S)
(HRRZ@ 1 (SPECIAL THY) S)
(HLRZ@ 1 1)
(CALL 2 (E THVAL) S)
(MOVEM 1 (SPECIAL THY) S)
TAG7 (MOVE 1 (SPECIAL THX) S)
(CAIE 1 (QUOTE ?) S)
(TDZA 1 1)
(MOVEI 1 (QUOTE T) S)
(JUMPN 1 TAG10)
(MOVE 1 (SPECIAL THY) S)
(CAIE 1 (QUOTE ?) S)
(TDZA 1 1)
(MOVEI 1 (QUOTE T) S)
(JUMPN 1 TAG10)
(MOVEI 2 (QUOTE (THV THNV THRESTRICT)) S)
(HLRZ@ 1 (SPECIAL THX) S)
(CALL 2 (E MEMQ#) S)
(JUMPN 1 TAG12)
(MOVEI 2 (QUOTE (THV THNV THRESTRICT)) S)
(HLRZ@ 1 (SPECIAL THY) S)
(CALL 2 (E MEMQ#) S)
TAG12 (JUMPE 1 TAG11)
(MOVE 1 (SPECIAL THX) S)
(CALL 1 (E THVAR) S)
(JUMPE 1 TAG14)
(MOVE 2 (SPECIAL THOLIST) S)
(MOVE 1 (SPECIAL THX) S)
(CALL 2 (E THGAL) S)
(JRST 0 TAG13)
TAG14 (HLRZ@ 1 (SPECIAL THX) S)
(CAIE 1 (QUOTE THRESTRICT) S)
(JRST 0 TAG15)
(HRRZ@ 1 (SPECIAL THX) S)
(HLRZ@ 1 1)
(CAIE 1 (QUOTE ?) S)
(JRST 0 TAG17)
(MOVEI 2 (QUOTE NIL))
(HRRZ@ 1 (SPECIAL THX) S)
(HRRZ@ 1 1)
(CALL 2 (E *APPEND) S)
(MOVEI 2 (QUOTE THUNASSIGNED) S)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE ?) S)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE (THNV ?)) S)
(MOVEM 2 (SPECIAL THX) S)
(JRST 0 TAG16)
TAG17 (MOVE 2 (SPECIAL THOLIST) S)
(HRRZ@ 1 (SPECIAL THX) S)
(HLRZ@ 1 1)
(CALL 2 (E THGAL) S)
(PUSH P 1)
(HRRZ@ 1 0 P)
(HRRZ@ 2 (SPECIAL THX) S)
(HRRZ@ 2 2)
(PUSH P 1)
(HRRZ@ 1 1)
(CALL 2 (E THUNION) S)
(MOVE 2 1)
(POP P 1)
(CALL 2 (E THRPLACDS) S)
(HRRZ@ 1 (SPECIAL THX) S)
(HLRZ@ 1 1)
(MOVEM 1 (SPECIAL THX) S)
(MOVE 1 0 P)
(SUB P (C 1 0 1 0))
TAG16 (JRST 0 TAG13)
TAG15 (MOVEI 1 (QUOTE NIL))
TAG13 (PUSH P 1)
(MOVE 1 (SPECIAL THY) S)
(CALL 1 (E THVAR) S)
(JUMPE 1 TAG26)
(MOVE 2 (SPECIAL THALIST) S)
(MOVE 1 (SPECIAL THY) S)
(CALL 2 (E THGAL) S)
(MOVE 2 1)
(JRST 0 TAG25)
TAG26 (HLRZ@ 1 (SPECIAL THY) S)
(CAIE 1 (QUOTE THRESTRICT) S)
(JRST 0 TAG27)
(HRRZ@ 1 (SPECIAL THY) S)
(HLRZ@ 1 1)
(CAIE 1 (QUOTE ?) S)
(JRST 0 TAG31)
(MOVEI 2 (QUOTE NIL))
(HRRZ@ 1 (SPECIAL THY) S)
(HRRZ@ 1 1)
(CALL 2 (E *APPEND) S)
(MOVEI 2 (QUOTE THUNASSIGNED) S)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE ?) S)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE (THNV ?)) S)
(MOVEM 2 (SPECIAL THY) S)
(EXCH 2 1)
(JRST 0 TAG30)
TAG31 (MOVE 2 (SPECIAL THALIST) S)
(HRRZ@ 1 (SPECIAL THY) S)
(HLRZ@ 1 1)
(CALL 2 (E THGAL) S)
(PUSH P 1)
(HRRZ@ 1 0 P)
(HRRZ@ 2 (SPECIAL THY) S)
(HRRZ@ 2 2)
(PUSH P 1)
(HRRZ@ 1 1)
(CALL 2 (E THUNION) S)
(MOVE 2 1)
(POP P 1)
(CALL 2 (E THRPLACDS) S)
(HRRZ@ 1 (SPECIAL THY) S)
(HLRZ@ 1 1)
(MOVEM 1 (SPECIAL THY) S)
(MOVE 2 0 P)
(SUB P (C 1 0 1 0))
TAG30 (JRST 0 TAG25)
TAG27 (MOVEI 2 (QUOTE NIL))
TAG25 (PUSH P 2)
(MOVE 1 -1 P)
(JUMPE 1 TAG42)
(HLRZ@ 1 (SPECIAL THX) S)
(CAIE 1 (QUOTE THNV) S)
(TDZA 1 1)
(MOVEI 1 (QUOTE T) S)
(JUMPN 1 TAG45)
(HLRZ@ 1 (SPECIAL THX) S)
(CAIE 1 (QUOTE THV) S)
(JRST 0 TAG47)
(HRRZ@ 1 -1 P)
(HLRZ@ 1 1)
(CAIE 1 (QUOTE THUNASSIGNED) S)
(TDZA 1 1)
(MOVEI 1 (QUOTE T) S)
(JRST 0 TAG46)
TAG47 (MOVEI 1 (QUOTE NIL))
TAG46
TAG45 (JUMPE 1 TAG44)
(PUSH P -1 P)
(HRRZ@ 1 0 P)
(HRRZ@ 1 1)
(PUSH P 1)
(MOVE 1 -2 P)
(JUMPE 1 TAG51)
(HRRZ@ 2 1)
(HLRZ@ 2 2)
(JRST 0 TAG50)
TAG51 (MOVE 2 (SPECIAL THY) S)
TAG50 (POP P 1)
(CALL 2 (E THCHECK) S)
(SUB P (C 1 0 1 0))
TAG44
TAG42 (JUMPE 1 TAG40)
(MOVE 1 0 P)
(JUMPE 1 TAG55)
(HRRZ@ 2 1)
(HLRZ@ 2 2)
(HRRZ@ 1 -1 P)
(CALL 2 (E THRPLACAS) S)
(HRRZ@ 1 0 P)
(HRRZ@ 1 1)
(JUMPE 1 TAG57)
(HRRZ@ 1 -1 P)
(HRRZ@ 2 0 P)
(HRRZ@ 2 2)
(PUSH P 1)
(HRRZ@ 1 1)
(CALL 2 (E THUNION) S)
(MOVE 2 1)
(POP P 1)
(CALL 2 (E THRPLACDS) S)
TAG57 (HRRZ@ 2 -1 P)
(MOVE 1 0 P)
(CALL 2 (E THRPLACDS) S)
(JRST 0 TAG54)
TAG55 (MOVE 2 (SPECIAL THY) S)
(HRRZ@ 1 -1 P)
(CALL 2 (E THRPLACAS) S)
TAG54 (JRST 0 TAG37)
TAG40 (MOVE 1 0 P)
(JUMPE 1 TAG64)
(HLRZ@ 1 (SPECIAL THY) S)
(CAIE 1 (QUOTE THNV) S)
(TDZA 1 1)
(MOVEI 1 (QUOTE T) S)
(JUMPN 1 TAG67)
(HLRZ@ 1 (SPECIAL THY) S)
(CAIE 1 (QUOTE THV) S)
(JRST 0 TAG71)
(HRRZ@ 1 0 P)
(HLRZ@ 1 1)
(CAIE 1 (QUOTE THUNASSIGNED) S)
(TDZA 1 1)
(MOVEI 1 (QUOTE T) S)
(JRST 0 TAG70)
TAG71 (MOVEI 1 (QUOTE NIL))
TAG70
TAG67 (JUMPE 1 TAG66)
(PUSH P 0 P)
(HRRZ@ 1 0 P)
(HRRZ@ 1 1)
(PUSH P 1)
(MOVE 1 -3 P)
(JUMPE 1 TAG73)
(HRRZ@ 2 1)
(HLRZ@ 2 2)
(JRST 0 TAG72)
TAG73 (MOVE 2 (SPECIAL THX) S)
TAG72 (POP P 1)
(CALL 2 (E THCHECK) S)
(SUB P (C 1 0 1 0))
TAG66
TAG64 (JUMPE 1 TAG62)
(MOVE 1 -1 P)
(JUMPE 1 TAG77)
(HRRZ@ 2 1)
(HLRZ@ 2 2)
(HRRZ@ 1 0 P)
(CALL 2 (E THRPLACAS) S)
(JRST 0 TAG76)
TAG77 (MOVE 2 (SPECIAL THX) S)
(HRRZ@ 1 0 P)
(CALL 2 (E THRPLACAS) S)
TAG76 (JRST 0 TAG37)
TAG62 (MOVE 1 -1 P)
(JUMPE 1 TAG103)
(CALL 1 (E CADR) S)
(PUSH P 1)
(MOVE 1 -1 P)
(JUMPE 1 TAG105)
(HRRZ@ 2 1)
(HLRZ@ 2 2)
(JRST 0 TAG104)
TAG105
(MOVE 2 (SPECIAL THY) S)
TAG104
(POP P 1)
(CALL 2 (E EQUAL) S)
TAG103
(JUMPN 1 TAG37)
(MOVE 1 0 P)
(JUMPE 1 TAG111)
(MOVE 2 (SPECIAL THX) S)
(CALL 1 (E CADR) S)
(CALL 2 (E EQUAL) S)
TAG111
(JUMPN 1 TAG37)
(MOVEI 1 (QUOTE NIL))
(CALL 1 (E ERR) S)
TAG37 (SUB P (C 2 0 2 0))
(JRST 0 TAG10)
TAG11 (MOVE 2 (SPECIAL THY) S)
(MOVE 1 (SPECIAL THX) S)
(CALL 2 (E EQUAL) S)
(JUMPN 1 TAG10)
(MOVEI 1 (QUOTE NIL))
(CALL 1 (E ERR) S)
TAG10 (JRST 0 SPECSTR)
NIL
(LAP SUBFUN1THCHECK SUBR)
(PUSH P (SPECIAL THPRD) S)
TAG1 (MOVE 1 0 P)
(JUMPE 1 TAG6)
(HLRZ@ 1 0 P)
(JSP 6 SPECBIND)
(0 1 (SPECIAL THY) S)
(MOVE 1 (SPECIAL THX) S)
(PUSH P (SPECIAL THY) S)
(CALLF@ 1 0 P)
(SUB P (C 1 0 1 0))
(JUMPN 1 TAG11)
(MOVEI 1 (QUOTE NIL))
(CALL 1 (E ERR) S)
TAG11 (PUSHJ P SPECSTR)
(HRRZ@ 1 0 P)
(MOVEM 1 0 P)
(JRST 0 TAG1)
TAG6 (MOVEI 1 (QUOTE NIL))
(SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THCHECK SUBR)
(JSP 6 SPECBIND)
(0 1 (SPECIAL THPRD) S)
(0 2 (SPECIAL THX) S)
(JUMPE 1 TAG2)
(TDZA 1 1)
TAG2 (MOVEI 1 (QUOTE T) S)
(JUMPN 1 TAG1)
(MOVE 1 (SPECIAL THX) S)
(CAIE 1 (QUOTE THUNASSIGNED) S)
(TDZA 1 1)
(MOVEI 1 (QUOTE T) S)
(JUMPN 1 TAG1)
(MOVEI 1 (QUOTE ((SUBFUN1THCHECK))) S)
(CALL 17 (E ERRSET) S)
TAG1 (JRST 0 SPECSTR)
NIL
(LAP THUNION SUBR)
(PUSH P 1)
(PUSH P 2)
(PUSH P -1 P)
TAG1 (MOVE 1 0 P)
(JUMPE 1 TAG11)
(HLRZ@ 1 0 P)
(JSP 6 SPECBIND)
(0 1 (SPECIAL THX) S)
(MOVE 2 -1 P)
(CALL 2 (E MEMBER#) S)
(JUMPN 1 TAG14)
(MOVE 2 -1 P)
(MOVE 1 (SPECIAL THX) S)
(CALL 2 (E CONS) S)
(MOVEM 1 -1 P)
TAG14 (PUSHJ P SPECSTR)
(HRRZ@ 1 0 P)
(MOVEM 1 0 P)
(JRST 0 TAG1)
TAG11 (MOVE 1 -1 P)
(SUB P (C 1 0 1 0))
(SUB P (C 2 0 2 0))
(POPJ P)
NIL
(LAP THMATCH LSUBR)
(JSP 3 *LCALL)
(JSP 6 SPECBIND)
(0 1 (SPECIAL THX) S)
(MOVEI 2 (QUOTE 2))
(CALL 2 (E *GREAT) S)
(JUMPE 1 TAG2)
(MOVE 1 -1 P)
(HRRZ 1 3 1)
(JRST 0 TAG1)
TAG2 (MOVE 1 (SPECIAL THALIST) S)
TAG1 (PUSH P 1)
(MOVEI 2 (QUOTE 3))
(MOVE 1 (SPECIAL THX) S)
(CALL 2 (E *GREAT) S)
(JUMPE 1 TAG6)
(MOVE 2 -2 P)
(HRRZ 2 4 2)
(JRST 0 TAG5)
TAG6 (MOVE 2 (SPECIAL THALIST) S)
TAG5 (POP P 1)
(JSP 6 SPECBIND)
(0 1 (SPECIAL THOLIST) S)
(0 2 (SPECIAL THALIST) S)
(MOVE 1 -1 P)
(HRRZ 1 1 1)
(MOVE 2 -1 P)
(HRRZ 2 2 2)
(CALL 2 (E THMATCH1) S)
(PUSHJ P SPECSTR)
(JRST 0 SPECSTR)
NIL
(LAP SUBFUN1THMATCH1 SUBR)
(PUSH P (C 0 0 TAG1 0))
(MOVEI D (QUOTE THMATCH2) S)
(PUSH P D)
(PUSH P (SPECIAL THX) S)
(PUSH P (SPECIAL THY) S)
(MOVNI 6 3)
(JCALL 16 (E MAPC) S)
TAG1 (POPJ P)
NIL
(LAP THMATCH1 SUBR)
(JSP 6 SPECBIND)
(0 1 (SPECIAL THX) S)
(0 2 (SPECIAL THY) S)
(0 0 (SPECIAL THML) S)
(HLRZ@ 1 1)
(CAIE 1 (QUOTE THEV) S)
(JRST 0 TAG11)
(MOVE 2 (SPECIAL THOLIST) S)
(HRRZ@ 1 (SPECIAL THX) S)
(HLRZ@ 1 1)
(CALL 2 (E THVAL) S)
(MOVEM 1 (SPECIAL THX) S)
(JRST 0 TAG10)
TAG11 (MOVE 1 (SPECIAL THX) S)
TAG10 (CALL 1 (E LENGTH) S)
(PUSH P 1)
(MOVE 1 (SPECIAL THY) S)
(CALL 1 (E LENGTH) S)
(POP P 2)
(CAME 1 2)
(JRST 0 TAG7)
(MOVEI 1 (QUOTE ((SUBFUN1THMATCH1))) S)
(CALL 17 (E ERRSET) S)
(JRST 0 TAG6)
TAG7 (MOVEI 1 (QUOTE NIL))
TAG6 (JUMPE 1 TAG5)
(MOVE 1 (SPECIAL THML) S)
(JUMPE 1 TAG13)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE THMUNG) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
TAG13 (MOVEI 1 (QUOTE T) S)
(JRST 0 TAG1)
TAG5 (MOVE 1 (SPECIAL THML) S)
(CALL 1 (E EVLIS) S)
(JRST 0 TAG2)
TAG2 (MOVEI 1 (QUOTE NIL))
TAG1 (JRST 0 SPECSTR)
NIL
(LAP THMATCHLIST SUBR)
(JSP 6 SPECBIND)
(0 2 (SPECIAL THWH) S)
(0 0 (SPECIAL THL) S)
(0 0 (SPECIAL THNF) S)
(0 0 (SPECIAL THAL) S)
(0 0 (SPECIAL THA2) S)
(PUSH P 1)
(MOVEI 1 (QUOTE 377777777777) S)
(MOVEM 1 (SPECIAL THL) S)
(MOVEI 1 (QUOTE 0))
(MOVEM 1 (SPECIAL THNF) S)
(MOVE 1 0 P)
(CALL 1 (E LENGTH) S)
(MOVEM 1 (SPECIAL THAL) S)
(PUSH P 0 P)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
TAG1 (MOVE 1 -6 P)
(JUMPN 1 TAG7)
(MOVE 1 -4 P)
(JUMPE 1 TAG13)
(MOVE 2 1)
(MOVE 1 -3 P)
(CALL 2 (E *APPEND) S)
(JRST 0 TAG12)
TAG13 (MOVE 1 -3 P)
TAG12 (JRST 0 TAG4)
TAG7 (MOVE 1 (SPECIAL THNF) S)
(CALL 1 (E ADD1) S)
(MOVEM 1 (SPECIAL THNF) S)
(HLRZ@ 1 -6 P)
(HRRZ@ 2 -6 P)
(MOVEM 2 -6 P)
(MOVEM 1 0 P)
TAG2 (MOVE 1 0 P)
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG16)
(TDZA 1 1)
TAG16 (MOVEI 1 (QUOTE T) S)
(JUMPN 1 TAG15)
(MOVE 1 0 P)
(CALL 1 (E NUMBERP) S)
(JUMPN 1 TAG15)
(MOVE 1 0 P)
(CAIE 1 (QUOTE ?) S)
(TDZA 1 1)
(MOVEI 1 (QUOTE T) S)
TAG15 (JUMPN 1 TAG1)
(MOVE 2 (SPECIAL THWH) S)
(MOVE 1 0 P)
(CALL 2 (E GET) S)
(MOVEM 1 -1 P)
(JUMPN 1 TAG17)
(MOVEI 1 (QUOTE (0 0)) S)
(MOVEM 1 -1 P)
(JRST 0 TAG14)
TAG17 (CAIN 1 (QUOTE THNOHASH) S)
(JRST 0 TAG1)
(HRRZ@ 2 1)
(MOVE 1 (SPECIAL THNF) S)
(CALL 2 (E ASSOC) S)
(MOVEM 1 -1 P)
(JUMPN 1 TAG21)
(MOVEI 1 (QUOTE (0 0)) S)
(MOVEM 1 -1 P)
(JRST 0 TAG14)
TAG21 (HRRZ@ 2 1)
(MOVE 1 (SPECIAL THAL) S)
(CALL 2 (E ASSOC) S)
(MOVEM 1 -1 P)
(JUMPN 1 TAG23)
(MOVEI 1 (QUOTE (0 0)) S)
(MOVEM 1 -1 P)
TAG23
TAG14 (HRRZ@ 1 -1 P)
(HLRZ@ 1 1)
(HRRZ@ 2 -1 P)
(HRRZ@ 2 2)
(MOVEM 1 -2 P)
(MOVEM 2 -1 P)
(MOVE 1 (SPECIAL THWH) S)
(CAIN 1 (QUOTE THASSERTION) S)
(JRST 0 TAG3)
(MOVE 2 (SPECIAL THWH) S)
(MOVEI 1 (QUOTE THVRB) S)
(CALL 2 (E GET) S)
(MOVEM 1 (SPECIAL THA2) S)
(JUMPN 1 TAG27)
(MOVEI 1 (QUOTE (0 0)) S)
(MOVEM 1 (SPECIAL THA2) S)
(JRST 0 TAG26)
TAG27 (HRRZ@ 2 1)
(MOVE 1 (SPECIAL THNF) S)
(CALL 2 (E ASSOC) S)
(MOVEM 1 (SPECIAL THA2) S)
(JUMPN 1 TAG31)
(MOVEI 1 (QUOTE (0 0)) S)
(MOVEM 1 (SPECIAL THA2) S)
(JRST 0 TAG26)
TAG31 (HRRZ@ 2 1)
(MOVE 1 (SPECIAL THAL) S)
(CALL 2 (E ASSOC) S)
(MOVEM 1 (SPECIAL THA2) S)
(JUMPN 1 TAG33)
(MOVEI 1 (QUOTE (0 0)) S)
(MOVEM 1 (SPECIAL THA2) S)
TAG33
TAG26 (HRRZ@ 1 (SPECIAL THA2) S)
(HLRZ@ 1 1)
(HRRZ@ 2 (SPECIAL THA2) S)
(HRRZ@ 2 2)
(MOVEM 2 (SPECIAL THA2) S)
(MOVEM 1 -5 P)
(MOVE 2 -2 P)
(CALL 2 (E *PLUS) S)
(MOVE 2 (SPECIAL THL) S)
(CALL 2 (E *GREAT) S)
(JUMPN 1 TAG1)
(MOVE 2 -2 P)
(MOVE 1 -5 P)
(CALL 2 (E *PLUS) S)
(MOVEM 1 (SPECIAL THL) S)
(MOVE 1 -1 P)
(MOVE 2 (SPECIAL THA2) S)
(MOVEM 1 -3 P)
(MOVEM 2 -4 P)
(JRST 0 TAG1)
TAG3 (MOVE 1 -2 P)
(CAIN 1 (QUOTE 0))
(JRST 0 TAG5)
(MOVE 2 (SPECIAL THL) S)
(CALL 2 (E *LESS) S)
(JUMPE 1 TAG37)
(MOVE 1 -1 P)
(MOVE 2 -2 P)
(MOVEM 2 (SPECIAL THL) S)
(MOVEM 1 -3 P)
TAG37 (JRST 0 TAG1)
TAG5 (MOVEI 1 (QUOTE NIL))
TAG4 (SUB P (C 10 0 10 0))
(JRST 0 SPECSTR)
NIL
(LAP THMESSAGE FSUBR)
(PUSH P 1)
(MOVE 2 0 P)
(MOVEI 1 (QUOTE THMESSAGE) S)
(CALL 2 (E CONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(MOVE 1 (SPECIAL THVALUE) S)
(SUB P (C 1 0 1 0))
(POPJ P)
NIL
(DEFPROP THMESSAGE THMESSAGET THSUCCEED)
(DEFPROP THMESSAGE THMESSAGEF THFAIL)
(LAP THMESSAGEF SUBR)
(HLRZ@ 1 (SPECIAL THTREE) S)
(PUSH P 1)
(CALL 0 (E THPOPT) S)
(HRRZ@ 1 0 P)
(HLRZ@ 1 1)
(CALL 1 (E THBIND) S)
(JUMPE 1 TAG7)
(MOVE 2 (SPECIAL THMESSAGE) S)
(HRRZ@ 1 0 P)
(CALL 1 (E CADR) S)
(CALL 2 (E THMATCH1) S)
TAG7 (JUMPE 1 TAG5)
(HRRZ@ 1 0 P)
(HRRZ@ 1 1)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE NIL))
(CALL 2 (E XCONS) S)
(HRRZ@ 2 0 P)
(HRRZ@ 2 2)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THPROG) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(CLEARM 0 (SPECIAL THMESSAGE) S)
(CALL 0 (E THPROGA) S)
(JRST 0 TAG1)
TAG5 (MOVE 1 (SPECIAL THOLIST) S)
(MOVEM 1 (SPECIAL THALIST) S)
(CALL 0 (E THPOPT) S)
(MOVEI 1 (QUOTE NIL))
TAG1 (SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THMESSAGET SUBR)
(CALL 0 (E THPOPT) S)
(MOVE 1 (SPECIAL THVALUE) S)
(POPJ P)
NIL
(LAP THMUNGF SUBR)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(CALL 1 (E EVLIS) S)
(CALL 0 (E THPOPT) S)
(MOVEI 1 (QUOTE NIL))
(POPJ P)
NIL
(LAP THMUNGT SUBR)
(CALL 0 (E THPOPT) S)
(MOVE 1 (SPECIAL THVALUE) S)
(POPJ P)
NIL
(LAP THNOFAIL SUBR)
(JSP 6 SPECBIND)
(0 1 (SPECIAL THX) S)
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE (THPROG THPROGT THFAIL)) S)
(CALL 17 (E DEFPROP) S)
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE (THPROG THPROGF THFAIL)) S)
(CALL 17 (E DEFPROP) S)
TAG1 (JRST 0 SPECSTR)
NIL
(LAP THNOHASH FSUBR)
(PUSH P 1)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(HRRZ@ 1 1)
(JUMPN 1 TAG5)
(MOVEI 1 (QUOTE (THASSERTION THCONSE THANTE THERASING)) S)
TAG5 (PUSH P 1)
(MOVEM 1 -1 P)
TAG1 (MOVE 1 0 P)
(JUMPE 1 TAG12)
(HLRZ@ 1 0 P)
(MOVE 3 1)
(MOVEI 2 (QUOTE THNOHASH) S)
(HLRZ@ 1 -2 P)
(CALL 3 (E PUTPROP) S)
(HRRZ@ 1 0 P)
(MOVEM 1 0 P)
(JRST 0 TAG1)
TAG12 (SUB P (C 1 0 1 0))
(MOVE 1 0 P)
(SUB P (C 2 0 2 0))
(POPJ P)
NIL
(LAP THNOT FSUBR)
(PUSH P 1)
(MOVEI 1 (QUOTE (THFAIL THAND)) S)
(CALL 1 (E NCONS) S)
(HLRZ@ 2 0 P)
(CALL 2 (E XCONS) S)
(MOVEM 1 0 P)
(MOVEI 1 (QUOTE ((THSUCCEED))) S)
(CALL 1 (E NCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THCOND) S)
(CALL 2 (E XCONS) S)
(MOVEM 1 (SPECIAL THEXP) S)
(POPJ P)
NIL
(LAP THNV FSUBR)
(HLRZ@ 1 1)
(JCALL 1 (E THV1) S)
NIL
(LAP THOR FSUBR)
(PUSH P 1)
(JUMPE 1 TAG2)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE THOR) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(JUMPE 1 TAG4)
(HLRZ@ 1 0 P)
(MOVEM 1 (SPECIAL THEXP) S)
TAG4
TAG2 (SUB P (C 1 0 1 0))
(POPJ P)
NIL
(DEFPROP THOR THORT THSUCCEED)
(DEFPROP THOR THORF THFAIL)
(LAP THOR2 SUBR)
(PUSH P 1)
(MOVE 1 (SPECIAL THMESSAGE) S)
(JUMPE 1 TAG2)
(CALL 0 (E THPOPT) S)
(MOVEI 1 (QUOTE NIL))
(JRST 0 TAG1)
TAG2 (HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(JUMPE 1 TAG5)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CDADR) S)
TAG5 (JUMPE 1 TAG3)
(HLRZ@ 1 (SPECIAL THTREE) S)
(HRRZ@ 1 1)
(HLRZ@ 2 1)
(HRRZ@ 2 2)
(HRLM@ 2 1)
(MOVE 1 0 P)
(JUMPE 1 TAG7)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CAADR) S)
(PUSH P 1)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(JUMPN 1 TAG10)
(CALL 0 (E THPOPT) S)
TAG10 (POP P 1)
(JRST 0 TAG6)
TAG7 (HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CAADR) S)
(HLRZ@ 1 1)
TAG6 (MOVEM 1 (SPECIAL THEXP) S)
(JRST 0 TAG1)
TAG3 (CALL 0 (E THPOPT) S)
(MOVEI 1 (QUOTE NIL))
TAG1 (SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THORF SUBR)
(MOVEI 1 (QUOTE T) S)
(JCALL 1 (E THOR2) S)
NIL
(LAP THORT SUBR)
(CALL 0 (E THPOPT) S)
(MOVE 1 (SPECIAL THVALUE) S)
(POPJ P)
NIL
(LAP THPOPT SUBR)
(HRRZ@ 1 (SPECIAL THTREE) S)
(MOVEM 1 (SPECIAL THTREE) S)
(POPJ P)
NIL
(LAP THPROG FSUBR)
(PUSH P 1)
(HLRZ@ 1 0 P)
(CALL 1 (E THBIND) S)
(MOVE 1 0 P)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE NIL))
(CALL 2 (E XCONS) S)
(MOVE 2 0 P)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THPROG) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(SUB P (C 1 0 1 0))
(JCALL 0 (E THPROGA) S)
NIL
(DEFPROP THPROG THPROGT THSUCCEED)
(DEFPROP THPROG THPROGF THFAIL)
(LAP THPROGA SUBR)
(HLRZ@ 1 (SPECIAL THTREE) S)
(HRRZ@ 1 1)
(PUSH P 1)
(CALL 1 (E CDAR) S)
(JUMPN 1 TAG2)
(CALL 0 (E THPOPT) S)
(MOVEI 1 (QUOTE THNOVAL) S)
(JRST 0 TAG1)
TAG2 (HLRZ@ 1 0 P)
(CALL 1 (E CADR) S)
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG4)
(HLRZ@ 1 0 P)
(CALL 1 (E CADR) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE THTAG) S)
(CALL 2 (E XCONS) S)
(MOVEM 1 (SPECIAL THEXP) S)
(HLRZ@ 1 0 P)
(HRRZ@ 1 1)
(HRLM@ 1 0 P)
(MOVE 1 (SPECIAL THVALUE) S)
(JRST 0 TAG1)
TAG4 (HLRZ@ 1 0 P)
(CALL 1 (E CADR) S)
(MOVEM 1 (SPECIAL THEXP) S)
(HLRZ@ 1 0 P)
(HRRZ@ 1 1)
(HRLM@ 1 0 P)
(MOVE 1 (SPECIAL THVALUE) S)
TAG1 (SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THPROGF SUBR)
(CALL 0 (E THBRANCHUN) S)
(MOVEI 1 (QUOTE NIL))
(POPJ P)
NIL
(LAP THPROGT SUBR)
(CALL 0 (E THBRANCH) S)
(JCALL 0 (E THPROGA) S)
NIL
(LAP SUBFUN1THPURE SUBR)
(PUSH P (SPECIAL XX) S)
TAG1 (MOVE 1 0 P)
(JUMPE 1 TAG6)
(HLRZ@ 1 0 P)
(PUSH P 1)
(CALL 1 (E THVAR) S)
(JUMPE 1 TAG12)
(MOVEI 1 (QUOTE NIL))
(CALL 1 (E ERR) S)
TAG12 (HRRZ@ 1 -1 P)
(MOVEM 1 -1 P)
(SUB P (C 1 0 1 0))
(JRST 0 TAG1)
TAG6 (MOVEI 1 (QUOTE NIL))
(SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THPURE SUBR)
(JSP 6 SPECBIND)
(0 1 (SPECIAL XX) S)
(MOVEI 1 (QUOTE ((SUBFUN1THPURE))) S)
(CALL 17 (E ERRSET) S)
(JRST 0 SPECSTR)
NIL
(LAP THPUTPROP SUBR)
(PUSH P 1)
(PUSH P 2)
(PUSH P 3)
(MOVE 1 -2 P)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE QUOTE) S)
(CALL 2 (E XCONS) S)
(MOVE 2 0 P)
(PUSH P 1)
(MOVE 1 -3 P)
(CALL 2 (E GET) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE QUOTE) S)
(CALL 2 (E XCONS) S)
(PUSH P 1)
(MOVE 1 -2 P)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE QUOTE) S)
(CALL 2 (E XCONS) S)
(CALL 1 (E NCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE PUTPROP) S)
(CALL 2 (E XCONS) S)
(CALL 1 (E NCONS) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE THMUNG) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(MOVE 3 0 P)
(MOVE 2 -1 P)
(MOVE 1 -2 P)
(SUB P (C 3 0 3 0))
(JCALL 3 (E PUTPROP) S)
NIL
(LAP THREM1 SUBR)
(JSP 6 SPECBIND)
(0 0 (SPECIAL THA2) S)
(0 0 (SPECIAL THPC) S)
(PUSH P 1)
(MOVE 1 (SPECIAL THNF) S)
(CALL 1 (E ADD1) S)
(MOVEM 1 (SPECIAL THNF) S)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(MOVE 1 -7 P)
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG7)
(MOVE 1 -7 P)
(CAIN 1 (QUOTE ?) S)
(JRST 0 TAG11)
(CALL 1 (E NUMBERP) S)
(JUMPE 1 TAG13)
(TDZA 1 1)
TAG13 (MOVEI 1 (QUOTE T) S)
(JRST 0 TAG10)
TAG11 (MOVEI 1 (QUOTE NIL))
TAG10
TAG7 (JUMPE 1 TAG5)
(MOVE 1 -7 P)
(MOVEM 1 0 P)
(JRST 0 TAG4)
TAG5 (MOVE 1 -7 P)
(CAIE 1 (QUOTE ?) S)
(TDZA 1 1)
(MOVEI 1 (QUOTE T) S)
(JUMPN 1 TAG15)
(MOVEI 2 (QUOTE (THV THNV)) S)
(HLRZ@ 1 -7 P)
(CALL 2 (E MEMQ#) S)
TAG15 (JUMPE 1 TAG14)
(MOVE 1 (SPECIAL THFST) S)
(JUMPE 1 TAG17)
(MOVEI 1 (QUOTE THVRB) S)
(JRST 0 TAG1)
TAG17 (MOVEI 1 (QUOTE THVRB) S)
(MOVEM 1 0 P)
(JRST 0 TAG4)
TAG14 (MOVEI 1 (QUOTE THVRB) S)
(JRST 0 TAG1)
TAG4 (MOVE 2 (SPECIAL THWH) S)
(MOVE 1 0 P)
(CALL 2 (E GET) S)
(MOVEM 1 -2 P)
(JUMPN 1 TAG22)
(JRST 0 TAG2)
TAG22 (MOVE 1 -2 P)
(CAIE 1 (QUOTE THNOHASH) S)
(JRST 0 TAG25)
(MOVEI 1 (QUOTE THBQF) S)
(JRST 0 TAG1)
TAG25 (MOVE 2 -2 P)
(MOVE 1 (SPECIAL THNF) S)
(CALL 2 (E THBA) S)
(MOVEM 1 (SPECIAL THA2) S)
(JUMPN 1 TAG26)
(JRST 0 TAG2)
TAG26 (HRRZ@ 2 (SPECIAL THA2) S)
(HLRZ@ 2 2)
(MOVE 1 (SPECIAL THAL) S)
(CALL 2 (E THBA) S)
(MOVEM 1 -3 P)
(JUMPN 1 TAG30)
(JRST 0 TAG2)
TAG30 (HRRZ@ 1 -3 P)
(HLRZ@ 1 1)
(MOVEM 1 -4 P)
(MOVE 1 (SPECIAL THWH) S)
(CAIE 1 (QUOTE THASSERTION) S)
(JRST 0 TAG32)
(TDZA 2 2)
TAG32 (MOVEI 2 (QUOTE T) S)
(MOVEM 2 (SPECIAL THPC) S)
(MOVE 1 (SPECIAL THFST) S)
(JUMPN 1 TAG35)
(MOVE 1 (SPECIAL THFSTP) S)
TAG35 (JUMPE 1 TAG34)
(HRRZ@ 2 -4 P)
(MOVE 1 (SPECIAL THBS) S)
(CALL 2 (E THBAP) S)
(JRST 0 TAG33)
TAG34 (MOVE 1 (SPECIAL THPC) S)
(JUMPE 1 TAG37)
(MOVE 1 (SPECIAL THON) S)
(JRST 0 TAG36)
TAG37 (HLRZ@ 1 (SPECIAL THON) S)
TAG36 (HRRZ@ 2 -4 P)
(CALL 2 (E THBA) S)
TAG33 (MOVEM 1 -5 P)
(JUMPN 1 TAG42)
(JRST 0 TAG2)
TAG42 (HRRZ@ 1 -5 P)
(HLRZ@ 1 1)
(HRRZ@ 2 -5 P)
(HRRZ@ 2 2)
(HRRM@ 2 -5 P)
(MOVEM 1 -6 P)
(HRRZ@ 1 -4 P)
(HLRZ@ 1 1)
(CAIN 1 (QUOTE 1))
(JRST 0 TAG47)
(HRRZ@ 1 -4 P)
(HRRZ@ 1 1)
(MOVEM 1 -1 P)
(JUMPN 1 TAG53)
(MOVEI 1 (QUOTE T) S)
TAG53 (JUMPE 1 TAG52)
(HRRZ@ 1 -4 P)
(PUSH P 1)
(HLRZ@ 1 1)
(CALL 1 (E SUB1) S)
(HRLM@ 1 0 P)
(POP P 1)
TAG52 (JRST 0 TAG46)
TAG47 (MOVEI 1 (QUOTE NIL))
TAG46 (JUMPE 1 TAG45)
(MOVE 1 -6 P)
(JRST 0 TAG1)
TAG45 (HRRZ@ 1 -3 P)
(HRRZ@ 1 1)
(MOVEM 1 -1 P)
(HRRM@ 1 -3 P)
(HRRZ@ 1 (SPECIAL THA2) S)
(CALL 1 (E CDAR) S)
(JUMPN 1 TAG54)
(MOVE 1 -6 P)
(JRST 0 TAG1)
TAG54 (HRRZ@ 1 (SPECIAL THA2) S)
(HRRZ@ 1 1)
(PUSH P (SPECIAL THA2) S)
(MOVEM 1 -2 P)
(HRRM@ 1 0 P)
(SUB P (C 1 0 1 0))
(HRRZ@ 1 -2 P)
(JUMPN 1 TAG57)
(MOVE 1 -6 P)
(JRST 0 TAG1)
TAG57 (MOVE 2 (SPECIAL THWH) S)
(MOVE 1 0 P)
(CALL 2 (E REMPROP) S)
(MOVE 1 -6 P)
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE NIL))
TAG1 (SUB P (C 10 0 10 0))
(JRST 0 SPECSTR)
NIL
(LAP THREMBINDF SUBR)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(MOVEM 1 (SPECIAL THALIST) S)
(CALL 0 (E THPOPT) S)
(MOVEI 1 (QUOTE NIL))
(POPJ P)
NIL
(LAP THREMBINDT SUBR)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(MOVEM 1 (SPECIAL THALIST) S)
(CALL 0 (E THPOPT) S)
(MOVE 1 (SPECIAL THVALUE) S)
(POPJ P)
NIL
(LAP THREMOVE SUBR)
(JSP 6 SPECBIND)
(0 0 (SPECIAL THWH) S)
(0 0 (SPECIAL THNF) S)
(0 0 (SPECIAL THAL) S)
(0 0 (SPECIAL THON) S)
(0 0 (SPECIAL THBS) S)
(0 0 (SPECIAL THFST) S)
(0 0 (SPECIAL THFSTP) S)
(PUSH P 1)
(MOVEI 1 (QUOTE 0))
(MOVEM 1 (SPECIAL THNF) S)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(MOVE 1 -2 P)
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG6)
(MOVE 1 -2 P)
(MOVEM 1 (SPECIAL THBS) S)
(MOVEI 2 (QUOTE THEOREM) S)
(MOVE 1 -2 P)
(CALL 2 (E GET) S)
(MOVEM 1 0 P)
(HLRZ@ 1 1)
(MOVEM 1 (SPECIAL THWH) S)
(HRRZ@ 1 0 P)
(CALL 1 (E CADR) S)
(JRST 0 TAG5)
TAG6 (MOVEI 1 (QUOTE THASSERTION) S)
(MOVEM 1 (SPECIAL THWH) S)
(JUMPE 1 TAG7)
(MOVE 1 -2 P)
(MOVEM 1 (SPECIAL THBS) S)
TAG7
TAG5 (MOVEM 1 0 P)
(CALL 1 (E LENGTH) S)
(MOVEM 1 (SPECIAL THAL) S)
(MOVEI 1 (QUOTE T) S)
(MOVEM 1 (SPECIAL THFST) S)
TAG1 (MOVE 1 0 P)
(JUMPN 1 TAG11)
(MOVE 1 -1 P)
(MOVEI 2 (QUOTE 0))
(MOVEM 2 (SPECIAL THNF) S)
(CLEARB 2 -1 P)
(MOVEM 2 (SPECIAL THFST) S)
(MOVEI 2 (QUOTE T) S)
(MOVEM 2 (SPECIAL THFSTP) S)
(MOVEM 1 0 P)
(JRST 0 TAG1)
TAG11 (HLRZ@ 1 1)
(CALL 1 (E THREM1) S)
(MOVEM 1 (SPECIAL THON) S)
(JUMPE 1 TAG3)
(MOVEI 2 (QUOTE (THBQF THVRB)) S)
(CALL 2 (E MEMQ#) S)
(JUMPE 1 TAG14)
(PUSH P (C 0 0 TAG15 0))
(PUSH P -2 P)
(MOVE 1 (SPECIAL THON) S)
(CAIE 1 (QUOTE THVRB) S)
(JRST 0 TAG17)
(HLRZ@ 1 -2 P)
(JRST 0 TAG16)
TAG17 (MOVEI 1 (QUOTE NIL))
TAG16 (CALL 1 (E NCONS) S)
(PUSH P 1)
(MOVNI 6 2)
(JCALL 16 (E NCONC) S)
TAG15 (HRRZ@ 2 0 P)
(MOVEM 1 -1 P)
(MOVEM 2 0 P)
(JRST 0 TAG1)
TAG14 (CLEARM 0 (SPECIAL THFST) S)
(HRRZ@ 2 0 P)
(MOVEI 1 (QUOTE THREM1) S)
(PUSHJ P *MAPC)
(MOVEI 1 (QUOTE 0))
(MOVEM 1 (SPECIAL THNF) S)
(MOVE 2 -1 P)
(MOVEI 1 (QUOTE THREM1) S)
(PUSHJ P *MAPC)
(MOVE 1 (SPECIAL THON) S)
(JRST 0 TAG2)
TAG3 (MOVEI 1 (QUOTE NIL))
TAG2 (SUB P (C 3 0 3 0))
(JRST 0 SPECSTR)
NIL
(LAP THREMPROP SUBR)
(PUSH P 1)
(PUSH P 2)
(MOVE 1 -1 P)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE QUOTE) S)
(CALL 2 (E XCONS) S)
(MOVE 2 0 P)
(PUSH P 1)
(MOVE 1 -2 P)
(CALL 2 (E GET) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE QUOTE) S)
(CALL 2 (E XCONS) S)
(PUSH P 1)
(MOVE 1 -2 P)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE QUOTE) S)
(CALL 2 (E XCONS) S)
(CALL 1 (E NCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE PUTPROP) S)
(CALL 2 (E XCONS) S)
(CALL 1 (E NCONS) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE THMUNG) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(MOVE 2 0 P)
(MOVE 1 -1 P)
(SUB P (C 2 0 2 0))
(JCALL 2 (E REMPROP) S)
NIL
(LAP THRESTRICT FSUBR)
(PUSH P 1)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(MOVE 2 (SPECIAL THALIST) S)
(HLRZ@ 1 1)
(CALL 2 (E THGAL) S)
(MOVEM 1 0 P)
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG5)
(MOVEI 1 (QUOTE THRESTRICT/ IGNORED/ -/ CONTINUING) S)
(CALL 1 (E THPRINTC) S)
(JRST 0 TAG4)
TAG5 (HRRZ@ 1 0 P)
(HRRZ@ 2 -1 P)
(PUSH P 1)
(HRRZ@ 1 1)
(CALL 2 (E THUNION) S)
(MOVE 2 1)
(POP P 1)
(CALL 2 (E THRPLACD) S)
TAG4 (MOVE 1 0 P)
(SUB P (C 2 0 2 0))
(POPJ P)
NIL
(LAP THRETURN FSUBR)
(MOVEI 2 (QUOTE THPROG) S)
(CALL 2 (E XCONS) S)
(MOVE 2 1)
(MOVEI 1 (QUOTE THSUCCEED) S)
(JCALL 2 (E APPLY#) S)
NIL
(LAP THRPLACA SUBR)
(JSP 6 SPECBIND)
(0 0 (SPECIAL THML) S)
(PUSH P 1)
(PUSH P 2)
(CALL 2 (E THRPLACAS) S)
(MOVE 1 (SPECIAL THML) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE THMUNG) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(MOVE 1 -1 P)
(SUB P (C 2 0 2 0))
(JRST 0 SPECSTR)
NIL
(LAP THRPLACAS SUBR)
(PUSH P 1)
(PUSH P 2)
(HLRZ@ 1 -1 P)
(CALL 1 (E NCONS) S)
(MOVE 2 -1 P)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THURPLACA) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THML) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THML) S)
(MOVE 1 0 P)
(HRLM@ 1 -1 P)
(MOVE 1 -1 P)
(SUB P (C 2 0 2 0))
(POPJ P)
NIL
(LAP THURPLACA FSUBR)
(PUSH P 1)
(HLRZ@ 1 1)
(HRRZ@ 2 0 P)
(HLRZ@ 2 2)
(HRLM@ 2 1)
(SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THRPLACD SUBR)
(JSP 6 SPECBIND)
(0 0 (SPECIAL THML) S)
(PUSH P 1)
(PUSH P 2)
(CALL 2 (E THRPLACDS) S)
(MOVE 1 (SPECIAL THML) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE THMUNG) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(MOVE 1 -1 P)
(SUB P (C 2 0 2 0))
(JRST 0 SPECSTR)
NIL
(LAP THRPLACDS SUBR)
(PUSH P 1)
(PUSH P 2)
(HRRZ@ 1 -1 P)
(CALL 1 (E NCONS) S)
(MOVE 2 -1 P)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THURPLACD) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THML) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THML) S)
(MOVE 1 0 P)
(HRRM@ 1 -1 P)
(MOVE 1 -1 P)
(SUB P (C 2 0 2 0))
(POPJ P)
NIL
(LAP THURPLACD FSUBR)
(PUSH P 1)
(HLRZ@ 1 1)
(HRRZ@ 2 0 P)
(HLRZ@ 2 2)
(HRRM@ 2 1)
(SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THSETQ FSUBR)
(JSP 6 SPECBIND)
(0 0 (SPECIAL THML) S)
(0 0 (SPECIAL THL) S)
(PUSH P 1)
(MOVEM 1 (SPECIAL THL) S)
TAG1 (MOVE 1 (SPECIAL THL) S)
(JUMPN 1 TAG6)
(MOVE 1 (SPECIAL THML) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE THMUNG) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(MOVE 1 (SPECIAL THVALUE) S)
(JRST 0 TAG2)
TAG6 (HRRZ@ 1 1)
(JUMPN 1 TAG10)
(MOVE 1 0 P)
(CALL 1 (E PRINT) S)
(MOVEI 1 (QUOTE (ODD NUMBER OF GOODIES - THSETQ)) S)
(CALL 17 (E THERT) S)
(JRST 0 TAG5)
TAG10 (HLRZ@ 1 (SPECIAL THL) S)
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG12)
(HLRZ@ 1 (SPECIAL THL) S)
(PUSH P 1)
(CALL 1 (E *EVAL) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE QUOTE) S)
(CALL 2 (E XCONS) S)
(CALL 1 (E NCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE SETQ) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THML) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THML) S)
(HLRZ@ 1 (SPECIAL THL) S)
(PUSH P 1)
(HRRZ@ 1 (SPECIAL THL) S)
(HLRZ@ 1 1)
(CALL 1 (E *EVAL) S)
(MOVEM 1 (SPECIAL THVALUE) S)
(MOVE 2 1)
(POP P 1)
(CALL 2 (E SET) S)
(JRST 0 TAG5)
TAG12 (HLRZ@ 1 (SPECIAL THL) S)
(CALL 1 (E THSGAL) S)
(HRRZ@ 1 1)
(MOVE 2 (SPECIAL THALIST) S)
(PUSH P 1)
(HRRZ@ 1 (SPECIAL THL) S)
(HLRZ@ 1 1)
(CALL 2 (E THVAL) S)
(MOVEM 1 (SPECIAL THVALUE) S)
(MOVE 2 1)
(POP P 1)
(CALL 2 (E THRPLACAS) S)
TAG5 (HRRZ@ 1 (SPECIAL THL) S)
(HRRZ@ 1 1)
(MOVEM 1 (SPECIAL THL) S)
(JRST 0 TAG1)
TAG2 (SUB P (C 1 0 1 0))
(JRST 0 SPECSTR)
NIL
(LAP THSGAL SUBR)
(PUSH P 1)
(MOVE 2 (SPECIAL THALIST) S)
(CALL 1 (E CADR) S)
(CALL 2 (E ASSOC) S)
(JUMPN 1 TAG1)
(MOVEI 1 (QUOTE THUNASSIGNED) S)
(CALL 1 (E NCONS) S)
(HRRZ@ 2 0 P)
(HLRZ@ 2 2)
(CALL 2 (E XCONS) S)
(PUSH P 1)
(PUSH P (C 0 0 TAG5 0))
(MOVEI 2 (QUOTE VALUE) S)
(MOVEI 1 (QUOTE THALIST) S)
(CALL 2 (E GET) S)
(PUSH P 1)
(MOVE 1 -2 P)
(CALL 1 (E NCONS) S)
(PUSH P 1)
(MOVNI 6 2)
(JCALL 16 (E NCONC) S)
TAG5 (MOVE 1 0 P)
(SUB P (C 1 0 1 0))
TAG1 (SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THSTATE FSUBR)
(PUSH P 1)
(PUSH P (SPECIAL OBLIST) S)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
TAG1 (MOVE 1 -3 P)
(JUMPE 1 TAG15)
(HLRZ@ 1 -3 P)
(PUSH P 1)
TAG2 (MOVE 1 0 P)
(JUMPE 1 TAG24)
(HLRZ@ 1 0 P)
(PUSH P 1)
(MOVE 1 -6 P)
(JUMPN 1 TAG27)
(MOVEI 1 (QUOTE (THASSERTION THANTE THCONSE THERASING)) S)
TAG27 (PUSH P 1)
TAG3 (MOVE 1 0 P)
(JUMPE 1 TAG34)
(HLRZ@ 1 0 P)
(JSP 6 SPECBIND)
(0 1 (SPECIAL THWH) S)
(MOVE 2 1)
(MOVE 1 -1 P)
(CALL 2 (E GET) S)
(MOVEM 1 -3 P)
(JUMPE 1 TAG40)
(HRRZ@ 2 1)
(MOVEI 1 (QUOTE 1))
(CALL 2 (E ASSOC) S)
(MOVEM 1 -3 P)
(JUMPE 1 TAG42)
(HRRZ@ 1 1)
(PUSH P 1)
TAG4 (MOVE 1 0 P)
(JUMPE 1 TAG47)
(HLRZ@ 1 0 P)
(HRRZ@ 2 1)
(HRRZ@ 2 2)
(PUSH P 2)
TAG5 (MOVE 1 0 P)
(JUMPE 1 TAG56)
(HLRZ@ 1 0 P)
(PUSH P 1)
(MOVE 1 (SPECIAL THWH) S)
(CAIE 1 (QUOTE THASSERTION) S)
(JRST 0 TAG62)
(MOVE 2 -7 P)
(MOVE 1 0 P)
(CALL 2 (E CONS) S)
(MOVEM 1 -7 P)
(JRST 0 TAG61)
TAG62 (MOVE 1 0 P)
(CALL 1 (E NCONS) S)
(MOVE 2 -7 P)
(CALL 2 (E CONS) S)
(MOVE 2 -10 P)
(MOVEM 1 -7 P)
(MOVE 1 0 P)
(CALL 2 (E CONS) S)
(MOVEM 1 -10 P)
TAG61 (HRRZ@ 1 -1 P)
(MOVEM 1 -1 P)
(SUB P (C 1 0 1 0))
(JRST 0 TAG5)
TAG56 (HRRZ@ 1 -1 P)
(MOVEM 1 -1 P)
(SUB P (C 1 0 1 0))
(JRST 0 TAG4)
TAG47 (SUB P (C 1 0 1 0))
TAG42
TAG40 (PUSHJ P SPECSTR)
(HRRZ@ 1 0 P)
(MOVEM 1 0 P)
(JRST 0 TAG3)
TAG34 (HRRZ@ 1 -2 P)
(MOVEM 1 -2 P)
(SUB P (C 2 0 2 0))
(JRST 0 TAG2)
TAG24 (HRRZ@ 1 -4 P)
(MOVEM 1 -4 P)
(SUB P (C 1 0 1 0))
(JRST 0 TAG1)
TAG15 (MOVE 1 -2 P)
(CALL 1 (E DREVERSE) S)
(CALL 17 (E GRINDEF) S)
(MOVEI 1 (QUOTE (THDATA)) S)
(CALL 1 (E PRINT) S)
(MOVE 2 -1 P)
(MOVEI 1 (QUOTE PRINT) S)
(PUSHJ P *MAPC)
(MOVEI 1 (QUOTE NIL))
(CALL 1 (E PRINT) S)
(MOVEI 1 (QUOTE NIL))
(SUB P (C 5 0 5 0))
(POPJ P)
NIL
(LAP THSUCCEED FSUBR)
(PUSH P 1)
(JUMPE 1 TAG3)
(TDZA 1 1)
TAG3 (MOVEI 1 (QUOTE T) S)
(JUMPN 1 TAG2)
(JSP 6 SPECBIND)
(0 0 (SPECIAL THX) S)
(HLRZ@ 1 0 P)
(CAIE 1 (QUOTE THEOREM) S)
(JRST 0 TAG10)
(HRRZ@ 2 0 P)
(MOVEI 1 (QUOTE THPROG) S)
(CALL 2 (E CONS) S)
(MOVEM 1 0 P)
TAG10 (MOVE 1 (SPECIAL THTREE) S)
(MOVEM 1 (SPECIAL THBRANCH) S)
(MOVE 1 (SPECIAL THALIST) S)
(MOVEM 1 (SPECIAL THABRANCH) S)
TAG1 (MOVE 1 (SPECIAL THTREE) S)
(JUMPN 1 TAG12)
(MOVE 1 0 P)
(CALL 1 (E PRINT) S)
(MOVEI 1 (QUOTE (OVERPOP - THSUCCEED)) S)
(CALL 17 (E THERT) S)
(JRST 0 TAG11)
TAG12 (CALL 1 (E CAAR) S)
(CAIE 1 (QUOTE THREMBIND) S)
(JRST 0 TAG14)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(MOVEM 1 (SPECIAL THALIST) S)
(CALL 0 (E THPOPT) S)
(JRST 0 TAG1)
TAG14 (HLRZ@ 1 0 P)
(HLRZ@ 2 (SPECIAL THTREE) S)
(HLRZ@ 2 2)
(CAME 2 1)
(JRST 0 TAG15)
(CALL 0 (E THPOPT) S)
(HRRZ@ 1 0 P)
(JUMPE 1 TAG17)
(HRRZ@ 1 0 P)
(HLRZ@ 1 1)
(CALL 1 (E *EVAL) S)
(JRST 0 TAG16)
TAG17 (MOVEI 1 (QUOTE THNOVAL) S)
TAG16 (JRST 0 TAG4)
TAG15 (HLRZ@ 1 0 P)
(CAIE 1 (QUOTE THTAG) S)
(JRST 0 TAG22)
(HLRZ@ 1 (SPECIAL THTREE) S)
(HLRZ@ 1 1)
(CAIE 1 (QUOTE THPROG) S)
(JRST 0 TAG24)
(HLRZ@ 1 (SPECIAL THTREE) S)
(HRRZ@ 2 1)
(HRRZ@ 2 2)
(HRRZ@ 2 2)
(HLRZ@ 2 2)
(HRRZ@ 1 0 P)
(HLRZ@ 1 1)
(CALL 2 (E MEMQ#) S)
(MOVEM 1 (SPECIAL THX) S)
(JRST 0 TAG23)
TAG24 (MOVEI 1 (QUOTE NIL))
TAG23 (JRST 0 TAG21)
TAG22 (MOVEI 1 (QUOTE NIL))
TAG21 (JUMPE 1 TAG20)
(MOVE 2 (SPECIAL THX) S)
(MOVEI 1 (QUOTE NIL))
(CALL 2 (E CONS) S)
(HLRZ@ 2 (SPECIAL THTREE) S)
(HRRZ@ 2 2)
(HRLM@ 1 2)
(CALL 0 (E THPROGT) S)
(JRST 0 TAG4)
TAG20 (CALL 0 (E THPOPT) S)
(JRST 0 TAG1)
TAG11 (MOVEI 1 (QUOTE NIL))
TAG4 (PUSHJ P SPECSTR)
TAG2 (SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THTAE SUBR)
(JSP 6 SPECBIND)
(0 1 (SPECIAL XX) S)
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE NIL))
(JRST 0 TAG3)
TAG4 (HLRZ@ 1 (SPECIAL XX) S)
(CAIE 1 (QUOTE THUSE) S)
(JRST 0 TAG5)
(HRRZ@ 1 (SPECIAL XX) S)
(PUSH P 1)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
TAG1 (MOVE 1 -3 P)
(JUMPE 1 TAG12)
(HLRZ@ 1 -3 P)
(PUSH P 1)
(MOVEI 2 (QUOTE THEOREM) S)
(CALL 2 (E GET) S)
(MOVEM 1 (SPECIAL THXX) S)
(JUMPE 1 TAG21)
(HLRZ@ 1 1)
(CAME 1 (SPECIAL TYPE) S)
(TDZA 1 1)
(MOVEI 1 (QUOTE T) S)
TAG21 (JUMPN 1 TAG16)
(MOVE 1 0 P)
(CALL 1 (E PRINT) S)
(MOVEI 1 (QUOTE (BAD THEOREM -THTAE)) S)
(CALL 17 (E THERT) S)
(PUSH P 1)
(HLRZ@ 1 (SPECIAL THX) S)
(CALL 1 (E NCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THAPPLY) S)
(CALL 2 (E XCONS) S)
(JRST 0 TAG15)
TAG16 (HLRZ@ 1 (SPECIAL THX) S)
(CALL 1 (E NCONS) S)
(MOVE 2 0 P)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THAPPLY) S)
(CALL 2 (E XCONS) S)
TAG15 (CALL 1 (E NCONS) S)
(MOVEM 1 -3 P)
(MOVE 1 -2 P)
(JUMPE 1 TAG25)
(MOVE 1 -3 P)
(HRRM@ 1 -2 P)
(HRRZ@ 2 -2 P)
(JRST 0 TAG24)
TAG25 (MOVE 2 -3 P)
(MOVEM 2 -1 P)
TAG24 (HRRZ@ 1 -4 P)
(MOVEM 1 -4 P)
(MOVEM 2 -2 P)
(SUB P (C 1 0 1 0))
(JRST 0 TAG1)
TAG12 (MOVE 1 0 P)
(SUB P (C 4 0 4 0))
(JRST 0 TAG3)
TAG5 (HLRZ@ 1 (SPECIAL XX) S)
(CAIE 1 (QUOTE THTBF) S)
(JRST 0 TAG30)
(MOVE 1 (SPECIAL THY1) S)
(JUMPE 1 TAG32)
(MOVE 1 (SPECIAL THY) S)
(JRST 0 TAG31)
TAG32 (MOVEI 1 (QUOTE T) S)
(MOVEM 1 (SPECIAL THY1) S)
(JUMPE 1 TAG33)
(MOVE 2 (SPECIAL TYPE) S)
(HLRZ@ 1 (SPECIAL THX) S)
(CALL 2 (E THMATCHLIST) S)
(MOVEM 1 (SPECIAL THY) S)
TAG33
TAG31 (PUSH P 1)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
TAG2 (MOVE 1 -3 P)
(JUMPE 1 TAG40)
(HLRZ@ 1 -3 P)
(PUSH P 1)
(HRRZ@ 1 (SPECIAL XX) S)
(HLRZ@ 1 1)
(PUSH P 1)
(MOVE 1 -1 P)
(CALLF@ 1 0 P)
(SUB P (C 1 0 1 0))
(JUMPE 1 TAG46)
(HLRZ@ 1 (SPECIAL THX) S)
(CALL 1 (E NCONS) S)
(MOVE 2 0 P)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THAPPLY) S)
(CALL 2 (E XCONS) S)
(CALL 1 (E NCONS) S)
TAG46 (MOVEM 1 -3 P)
(SUB P (C 1 0 1 0))
(JUMPE 1 TAG44)
(MOVE 1 -1 P)
(JUMPE 1 TAG50)
(MOVE 1 -2 P)
(HRRM@ 1 -1 P)
(MOVE 1 -1 P)
(JRST 0 TAG47)
TAG50 (MOVE 1 -2 P)
(MOVEM 1 0 P)
TAG47 (CALL 1 (E LAST) S)
(MOVEM 1 -1 P)
TAG44 (HRRZ@ 1 -3 P)
(MOVEM 1 -3 P)
(JRST 0 TAG2)
TAG40 (MOVE 1 0 P)
(SUB P (C 4 0 4 0))
(JRST 0 TAG3)
TAG30 (MOVE 1 (SPECIAL XX) S)
(CALL 1 (E PRINT) S)
(MOVEI 1 (QUOTE (UNCLEAR RECCOMMENDATION -THTAE)) S)
(CALL 17 (E THERT) S)
(CALL 1 (E THTAE) S)
TAG3 (JRST 0 SPECSTR)
NIL
(LAP THTAG FSUBR)
(PUSH P 1)
(HLRZ@ 1 1)
(JUMPE 1 TAG2)
(HLRZ@ 1 0 P)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE THTAG) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
TAG2 (SUB P (C 1 0 1 0))
(POPJ P)
NIL
(DEFPROP THTAG THTAGT THSUCCEED)
(DEFPROP THTAG THTAGF THFAIL)
(LAP THTAGF SUBR)
(CALL 0 (E THPOPT) S)
(MOVEI 1 (QUOTE NIL))
(POPJ P)
NIL
(LAP THTAGT SUBR)
(CALL 0 (E THPOPT) S)
(MOVE 1 (SPECIAL THVALUE) S)
(POPJ P)
NIL
(LAP THTRUE SUBR)
(MOVEI 1 (QUOTE T) S)
(POPJ P)
NIL
(LAP THTRY1 SUBR)
(JSP 6 SPECBIND)
(0 0 (SPECIAL THX) S)
(0 0 (SPECIAL THY) S)
(0 0 (SPECIAL THZ) S)
(HLRZ@ 1 (SPECIAL THTREE) S)
(MOVEM 1 (SPECIAL THZ) S)
(CALL 1 (E CDDR) S)
(MOVEM 1 (SPECIAL THY) S)
(HRRZ@ 1 1)
(PUSH P (SPECIAL THY) S)
(CALL 1 (E SUB1) S)
(HRRM@ 1 0 P)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
TAG1 (HLRZ@ 1 (SPECIAL THY) S)
(JUMPE 1 TAG13)
(TDZA 1 1)
TAG13 (MOVEI 1 (QUOTE T) S)
(JUMPN 1 TAG12)
(HRRZ@ 1 (SPECIAL THY) S)
(CAIE 1 (QUOTE 0))
(TDZA 1 1)
(MOVEI 1 (QUOTE T) S)
TAG12 (JUMPN 1 TAG7)
(HLRZ@ 1 (SPECIAL THY) S)
(HLRZ@ 1 1)
(MOVEM 1 (SPECIAL THX) S)
(HLRZ@ 1 1)
(JRST 0 TAG10)
TAG2 (HRRZ@ 1 (SPECIAL THX) S)
(HLRZ@ 1 1)
(PUSH P (SPECIAL THY) S)
(HRRM@ 1 0 P)
(SUB P (C 1 0 1 0))
(HLRZ@ 1 (SPECIAL THY) S)
(HRRZ@ 1 1)
(PUSH P (SPECIAL THY) S)
(HRLM@ 1 0 P)
(SUB P (C 1 0 1 0))
(JRST 0 TAG1)
TAG3 (MOVE 1 (SPECIAL THALIST) S)
(MOVEM 1 (SPECIAL THOLIST) S)
(HRRZ@ 1 (SPECIAL THX) S)
(CALL 1 (E CADR) S)
(JUMPN 1 TAG15)
(HLRZ@ 1 (SPECIAL THY) S)
(HRRZ@ 1 1)
(PUSH P (SPECIAL THY) S)
(HRLM@ 1 0 P)
(SUB P (C 1 0 1 0))
(JRST 0 TAG1)
TAG15 (PUSH P (C 0 0 (QUOTE NIL) 0))
(HRRZ@ 1 (SPECIAL THX) S)
(CALL 1 (E CAADR) S)
(MOVEM 1 -1 P)
(HRRZ@ 1 (SPECIAL THX) S)
(HLRZ@ 1 1)
(MOVEM 1 -3 P)
(MOVE 1 -1 P)
(CALLF@ 1 -3 P)
(JUMPE 1 TAG24)
(HLRZ@ 2 -1 P)
(HRRZ@ 1 (SPECIAL THZ) S)
(HLRZ@ 1 1)
(CALL 2 (E THMATCH1) S)
TAG24 (HRRZ@ 2 (SPECIAL THX) S)
(HRRZ@ 2 2)
(HLRZ@ 3 2)
(HRRZ@ 3 3)
(HRLM@ 3 2)
(MOVEM 1 0 P)
(SUB P (C 1 0 1 0))
(JUMPE 1 TAG17)
(MOVE 1 0 P)
(JRST 0 TAG6)
TAG17 (JRST 0 TAG3)
TAG4 (HRRZ@ 1 (SPECIAL THX) S)
(CALL 1 (E CADR) S)
(JUMPN 1 TAG27)
(HLRZ@ 1 (SPECIAL THY) S)
(HRRZ@ 1 1)
(PUSH P (SPECIAL THY) S)
(HRLM@ 1 0 P)
(SUB P (C 1 0 1 0))
(JRST 0 TAG1)
TAG27 (HRRZ@ 1 (SPECIAL THX) S)
(CALL 1 (E CAADR) S)
(MOVEM 1 -1 P)
TAG5 (MOVEI 2 (QUOTE THEOREM) S)
(MOVE 1 -1 P)
(CALL 2 (E GET) S)
(MOVEM 1 0 P)
(JUMPE 1 TAG35)
(HLRZ@ 1 1)
(CAIE 1 (QUOTE THCONSE) S)
(TDZA 1 1)
(MOVEI 1 (QUOTE T) S)
TAG35 (JUMPN 1 TAG32)
(MOVE 1 -1 P)
(CALL 1 (E PRINT) S)
(MOVEI 1 (QUOTE (BAD THEOREM - THTRY1)) S)
(CALL 17 (E THERT) S)
(MOVEM 1 -1 P)
(CAIN 1 (QUOTE T) S)
(JRST 0 TAG1)
(JRST 0 TAG5)
TAG32 (PUSH P (C 0 0 (QUOTE NIL) 0))
(HRRZ@ 1 (SPECIAL THX) S)
(HLRZ@ 1 1)
(MOVEM 1 -3 P)
(HRRZ@ 1 (SPECIAL THX) S)
(CALL 1 (E CAADR) S)
(CALLF@ 1 -3 P)
(JUMPE 1 TAG46)
(HRRZ@ 3 (SPECIAL THZ) S)
(HLRZ@ 3 3)
(MOVE 2 -1 P)
(MOVE 1 -2 P)
(CALL 3 (E THAPPLY1) S)
TAG46 (HRRZ@ 2 (SPECIAL THX) S)
(HRRZ@ 2 2)
(HLRZ@ 3 2)
(HRRZ@ 3 3)
(HRLM@ 3 2)
(MOVEM 1 0 P)
(SUB P (C 1 0 1 0))
(JUMPE 1 TAG41)
(MOVEI 1 (QUOTE T) S)
(JRST 0 TAG6)
TAG41 (JRST 0 TAG4)
TAG7 (MOVEI 1 (QUOTE NIL))
TAG6 (JRST 0 TAG50)
TAG10 (CAIN 1 (QUOTE THTBF1) S)
(JRST 0 TAG5)
(CAIN 1 (QUOTE THTBF) S)
(JRST 0 TAG4)
(CAIN 1 (QUOTE THDBF) S)
(JRST 0 TAG3)
(CAIN 1 (QUOTE THNUM) S)
(JRST 0 TAG2)
(CAIN 1 (QUOTE NXTREC) S)
(JRST 0 TAG1)
(PUSHJ P *UDT)
TAG50 (SUB P (C 3 0 3 0))
(JRST 0 SPECSTR)
NIL
(LAP THTRY SUBR)
(PUSH P 1)
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE NIL))
(JRST 0 TAG1)
TAG2 (HLRZ@ 1 0 P)
(CAIE 1 (QUOTE THTBF) S)
(JRST 0 TAG3)
(MOVE 1 (SPECIAL THZ1) S)
(JUMPN 1 TAG5)
(MOVEI 1 (QUOTE T) S)
(MOVEM 1 (SPECIAL THZ1) S)
(MOVEI 2 (QUOTE THCONSE) S)
(MOVE 1 (SPECIAL THA2) S)
(CALL 2 (E THMATCHLIST) S)
(MOVEM 1 (SPECIAL THZ) S)
TAG5 (MOVE 1 (SPECIAL THZ) S)
(JUMPE 1 TAG10)
(CALL 1 (E NCONS) S)
(HRRZ@ 2 0 P)
(HLRZ@ 2 2)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THTBF) S)
(CALL 2 (E XCONS) S)
(CALL 1 (E NCONS) S)
(JRST 0 TAG7)
TAG10 (MOVEI 1 (QUOTE NIL))
TAG7 (JRST 0 TAG1)
TAG3 (HLRZ@ 1 0 P)
(CAIE 1 (QUOTE THDBF) S)
(JRST 0 TAG13)
(MOVE 1 (SPECIAL THY1) S)
(JUMPN 1 TAG15)
(MOVEI 1 (QUOTE T) S)
(MOVEM 1 (SPECIAL THY1) S)
(MOVEI 2 (QUOTE THASSERTION) S)
(MOVE 1 (SPECIAL THA2) S)
(CALL 2 (E THMATCHLIST) S)
(MOVEM 1 (SPECIAL THY) S)
TAG15 (MOVE 1 (SPECIAL THY) S)
(JUMPE 1 TAG20)
(CALL 1 (E NCONS) S)
(HRRZ@ 2 0 P)
(HLRZ@ 2 2)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THDBF) S)
(CALL 2 (E XCONS) S)
(CALL 1 (E NCONS) S)
(JRST 0 TAG17)
TAG20 (MOVEI 1 (QUOTE NIL))
TAG17 (JRST 0 TAG1)
TAG13 (HLRZ@ 1 0 P)
(CAIE 1 (QUOTE THUSE) S)
(JRST 0 TAG23)
(HRRZ@ 1 0 P)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE THTRUE) S)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THTBF) S)
(CALL 2 (E XCONS) S)
(CALL 1 (E NCONS) S)
(JRST 0 TAG1)
TAG23 (HLRZ@ 1 0 P)
(CAIE 1 (QUOTE THNUM) S)
(JRST 0 TAG24)
(MOVE 1 0 P)
(CALL 1 (E NCONS) S)
(JRST 0 TAG1)
TAG24 (MOVE 1 0 P)
(CALL 1 (E PRINT) S)
(MOVEI 1 (QUOTE (UNCLEAR RECOMMENDATION - THTRY)) S)
(CALL 17 (E THERT) S)
(CALL 1 (E THTRY) S)
TAG1 (SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THUNDOF SUBR)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADDR) S)
(JUMPN 1 TAG5)
(CALL 0 (E THPOPT) S)
(JRST 0 TAG4)
TAG5 (HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CDDR) S)
(MOVEM 1 (SPECIAL THXX) S)
(CALL 1 (E CAADR) S)
(MOVEM 1 (SPECIAL THALIST) S)
(HRRZ@ 1 (SPECIAL THXX) S)
(HLRZ@ 2 1)
(HRRZ@ 2 2)
(HRLM@ 2 1)
(HLRZ@ 1 (SPECIAL THXX) S)
(HLRZ@ 1 1)
(MOVEM 1 (SPECIAL THTREE) S)
(HLRZ@ 1 (SPECIAL THXX) S)
(HRRZ@ 1 1)
(PUSH P (SPECIAL THXX) S)
(HRLM@ 1 0 P)
(SUB P (C 1 0 1 0))
TAG4 (MOVEI 1 (QUOTE NIL))
(POPJ P)
NIL
(LAP THUNDOT SUBR)
(CALL 0 (E THPOPT) S)
(MOVEI 1 (QUOTE T) S)
(POPJ P)
NIL
(LAP THUNIQUE FSUBR)
(PUSH P 1)
(PUSH P (C 0 0 TAG5 0))
(MOVEI D (QUOTE THUCI) S)
(PUSH P D)
(PUSH P -2 P)
(MOVNI 6 2)
(JCALL 16 (E MAPCAR) S)
TAG5 (MOVEI 2 (QUOTE THUNIQUE) S)
(CALL 2 (E XCONS) S)
(MOVEM 1 0 P)
(PUSH P (SPECIAL THALIST) S)
TAG1 (MOVE 1 0 P)
(JUMPN 1 TAG12)
(MOVE 2 (SPECIAL THALIST) S)
(MOVE 1 -1 P)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THALIST) S)
(MOVEI 1 (QUOTE T) S)
(JRST 0 TAG6)
TAG12 (CALL 1 (E CAAR) S)
(CAIE 1 (QUOTE THUNIQUE) S)
(JRST 0 TAG14)
(MOVE 2 -1 P)
(HLRZ@ 1 0 P)
(CALL 2 (E EQUAL) S)
(JUMPN 1 TAG7)
TAG14 (HRRZ@ 1 0 P)
(MOVEM 1 0 P)
(JRST 0 TAG1)
TAG7 (MOVEI 1 (QUOTE NIL))
TAG6 (SUB P (C 1 0 1 0))
(SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THUCI SUBR)
(PUSH P 1)
(MOVEI 2 (QUOTE (THV THNV)) S)
(HLRZ@ 1 1)
(CALL 2 (E MEMQ) S)
(JUMPE 1 TAG2)
(MOVE 2 (SPECIAL THALIST) S)
(MOVE 1 0 P)
(CALL 2 (E THGAL) S)
(MOVEM 1 0 P)
(CALL 1 (E ATOM) S)
(JUMPN 1 TAG3)
(HRRZ@ 1 0 P)
(HLRZ@ 1 1)
TAG3 (JRST 0 TAG1)
TAG2 (MOVE 1 0 P)
(CALL 1 (E *EVAL) S)
TAG1 (SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THV1 SUBR)
(PUSH P 1)
(MOVE 1 0 P)
(MOVEM 1 (SPECIAL THXX) S)
(MOVE 2 (SPECIAL THALIST) S)
(MOVE 1 0 P)
(CALL 2 (E ASSOC) S)
(JUMPN 1 TAG6)
(MOVE 1 (SPECIAL THXX) S)
(CALL 1 (E PRINT) S)
(MOVEI 1 (QUOTE (THUNBOUND - THV1)) S)
(CALL 17 (E THERT) S)
TAG6 (CALL 1 (E CADR) S)
(MOVEM 1 0 P)
(CAIE 1 (QUOTE THUNASSIGNED) S)
(JRST 0 TAG5)
(MOVE 1 (SPECIAL THXX) S)
(CALL 1 (E PRINT) S)
(MOVEI 1 (QUOTE (THUNASSIGNED - THV1)) S)
(CALL 17 (E THERT) S)
(JRST 0 TAG4)
TAG5 (MOVE 1 0 P)
TAG4 (SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THV FSUBR)
(HLRZ@ 1 1)
(JCALL 1 (E THV1) S)
NIL
(LAP SUBFUN1THVAL SUBR)
(MOVE 1 (SPECIAL THE) S)
(CALL 1 (E *EVAL) S)
(MOVEM 1 (SPECIAL THVALUE) S)
(POPJ P)
NIL
(LAP THVAL SUBR)
(JSP 6 SPECBIND)
(0 1 (SPECIAL THEXP) S)
(0 2 (SPECIAL THALIST) S)
(MOVE 1 (SPECIAL THALIST) S)
(CALL 1 (E NCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THLEVEL) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THLEVEL) S)
(JSP 6 SPECBIND)
(0 0 (SPECIAL THTREE) S)
(0 0 (SPECIAL THVALUE) S)
(0 0 (SPECIAL THBRANCH) S)
(0 0 (SPECIAL THOLIST) S)
(0 0 (SPECIAL THABRANCH) S)
(0 0 (SPECIAL THE) S)
(0 0 (SPECIAL THMESSAGE) S)
(MOVEI 1 (QUOTE (THV THNV)) S)
(MOVEM 1 (SPECIAL THV) S)
(MOVEI 1 (QUOTE THNOVAL) S)
(MOVEM 1 (SPECIAL THVALUE) S)
TAG1 (MOVE 1 (SPECIAL THEXP) S)
(MOVEM 1 (SPECIAL THE) S)
(CLEARM 0 (SPECIAL THEXP) S)
(MOVE 1 (SPECIAL ↑A) S)
(JUMPE 1 TAG16)
(CLEARM 0 (SPECIAL ↑A) S)
(MOVEI 1 (QUOTE (↑A - THVAL)) S)
(CALL 17 (E THERT) S)
(JUMPN 1 TAG17)
(JRST 0 TAG5)
TAG17
TAG16 (MOVEI 1 (QUOTE ((SUBFUN1THVAL))) S)
(CALL 17 (E ERRSET) S)
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG22)
(MOVEI 1 (QUOTE NIL))
(CALL 1 (E ERR) S)
(JUMPN 1 TAG21)
TAG22
TAG21
TAG2 (MOVE 1 (SPECIAL THMESSAGE) S)
(JUMPN 1 TAG4)
(MOVE 1 (SPECIAL THEXP) S)
(JUMPN 1 TAG1)
(MOVE 1 (SPECIAL THVALUE) S)
(JUMPN 1 TAG3)
(JRST 0 TAG5)
TAG3 (MOVE 1 (SPECIAL THBRANCH) S)
(JUMPN 1 TAG26)
(MOVE 1 (SPECIAL THTREE) S)
(MOVEM 1 (SPECIAL THBRANCH) S)
(MOVE 1 (SPECIAL THALIST) S)
(MOVEM 1 (SPECIAL THABRANCH) S)
TAG26 (MOVE 1 (SPECIAL THTREE) S)
(JUMPN 1 TAG31)
(HRRZ@ 1 (SPECIAL THLEVEL) S)
(MOVEM 1 (SPECIAL THLEVEL) S)
(MOVE 1 (SPECIAL THVALUE) S)
(JRST 0 TAG12)
TAG31 (MOVEI 2 (QUOTE THSUCCEED) S)
(CALL 1 (E CAAR) S)
(CALL 2 (E GET) S)
(MOVEM 1 (SPECIAL THEXP) S)
(JUMPN 1 TAG6)
(MOVEI 1 (QUOTE (BAD SUCCEED - THVAL)) S)
(CALL 17 (E THERT) S)
(JUMPN 1 TAG3)
(JRST 0 TAG5)
TAG4 (HLRZ@ 1 (SPECIAL THMESSAGE) S)
(CAME 1 (SPECIAL THTREE) S)
(JRST 0 TAG35)
(HRRZ@ 1 (SPECIAL THMESSAGE) S)
(HLRZ@ 1 1)
(MOVEM 1 (SPECIAL THEXP) S)
(CLEARM 0 (SPECIAL THMESSAGE) S)
(JRST 0 TAG1)
TAG35
TAG5 (MOVE 1 (SPECIAL THTREE) S)
(JUMPN 1 TAG37)
(HRRZ@ 1 (SPECIAL THLEVEL) S)
(MOVEM 1 (SPECIAL THLEVEL) S)
(JRST 0 TAG13)
TAG37 (MOVEI 2 (QUOTE THFAIL) S)
(CALL 1 (E CAAR) S)
(CALL 2 (E GET) S)
(MOVEM 1 (SPECIAL THEXP) S)
(JUMPN 1 TAG6)
(MOVEI 1 (QUOTE (BAD FAIL - THVAL)) S)
(CALL 17 (E THERT) S)
(JUMPN 1 TAG3)
(JRST 0 TAG5)
TAG6 (PUSH P (SPECIAL THEXP) S)
(CLEARM 0 (SPECIAL THEXP) S)
(CALLF@ 0 0 P)
(MOVEM 1 (SPECIAL THVALUE) S)
(SUB P (C 1 0 1 0))
(JRST 0 TAG2)
TAG13 (MOVEI 1 (QUOTE NIL))
TAG12 (PUSHJ P SPECSTR)
(JRST 0 SPECSTR)
NIL
(LAP THVAR SUBR)
(MOVEI 2 (QUOTE (THV THNV)) S)
(HLRZ@ 1 1)
(JCALL 2 (E MEMQ#) S)
NIL
(LAP THVARS2 SUBR)
(PUSH P 1)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG5)
(MOVE 1 -1 P)
(JRST 0 TAG1)
TAG5 (HLRZ@ 1 -1 P)
(CAIE 1 (QUOTE THEV) S)
(JRST 0 TAG7)
(MOVE 2 (SPECIAL THALIST) S)
(HRRZ@ 1 -1 P)
(HLRZ@ 1 1)
(CALL 2 (E THVAL) S)
(MOVEM 1 -1 P)
TAG7 (MOVE 1 -1 P)
(CALL 1 (E THVAR) S)
(JUMPN 1 TAG10)
(MOVE 1 -1 P)
(JRST 0 TAG1)
TAG10 (MOVE 2 (SPECIAL THALIST) S)
(MOVE 1 -1 P)
(CALL 2 (E THGAL) S)
(MOVEM 1 0 P)
(CALL 1 (E CADR) S)
(CAIE 1 (QUOTE THUNASSIGNED) S)
(JRST 0 TAG14)
(MOVE 1 -1 P)
(JRST 0 TAG13)
TAG14 (MOVE 1 (SPECIAL THY) S)
(JUMPE 1 TAG17)
(HLRZ@ 1 -1 P)
(CAIE 1 (QUOTE THNV) S)
(TDZA 1 1)
(MOVEI 1 (QUOTE T) S)
TAG17 (JUMPE 1 TAG15)
(MOVEI 2 (QUOTE THUNASSIGNED) S)
(HRRZ@ 1 0 P)
(CALL 2 (E THRPLACA) S)
(MOVE 1 -1 P)
(JRST 0 TAG13)
TAG15 (HRRZ@ 1 0 P)
(HLRZ@ 1 1)
TAG13
TAG1 (SUB P (C 2 0 2 0))
(POPJ P)
NIL
(LAP THVARSUBST SUBR)
(JSP 6 SPECBIND)
(0 1 (SPECIAL THX) S)
(0 2 (SPECIAL THY) S)
(HLRZ@ 1 (SPECIAL THX) S)
(CAIE 1 (QUOTE THEV) S)
(JRST 0 TAG5)
(MOVE 2 (SPECIAL THALIST) S)
(HRRZ@ 1 (SPECIAL THX) S)
(HLRZ@ 1 1)
(CALL 2 (E THVAL) S)
(MOVEM 1 (SPECIAL THX) S)
(JRST 0 TAG4)
TAG5 (MOVE 1 (SPECIAL THX) S)
(CALL 1 (E THVAR) S)
(JUMPE 1 TAG6)
(MOVE 1 (SPECIAL THX) S)
(CALL 1 (E *EVAL) S)
(MOVEM 1 (SPECIAL THX) S)
TAG6
TAG4 (MOVE 1 (SPECIAL THX) S)
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG10)
(MOVE 1 (SPECIAL THX) S)
(JRST 0 TAG7)
TAG10 (PUSH P (C 0 0 TAG13 0))
(MOVEI D (QUOTE THVARS2) S)
(PUSH P D)
(PUSH P (SPECIAL THX) S)
(MOVNI 6 2)
(JCALL 16 (E MAPCAR) S)
TAG13
TAG7 (JRST 0 SPECSTR)
NIL
(LAP THVSETQ FSUBR)
(PUSH P 1)
(PUSH P 1)
TAG1 (MOVE 1 0 P)
(JUMPN 1 TAG6)
(MOVE 1 (SPECIAL THVALUE) S)
(JRST 0 TAG2)
TAG6 (HRRZ@ 1 1)
(JUMPN 1 TAG10)
(MOVE 1 -1 P)
(CALL 1 (E PRINT) S)
(MOVEI 1 (QUOTE (ODD NUMBER OF GOODIES-THSETQ)) S)
(CALL 17 (E THERT) S)
(JRST 0 TAG5)
TAG10 (HLRZ@ 1 0 P)
(CALL 1 (E THSGAL) S)
(HRRZ@ 1 1)
(MOVE 2 (SPECIAL THALIST) S)
(PUSH P 1)
(HRRZ@ 1 -1 P)
(HLRZ@ 1 1)
(CALL 2 (E THVAL) S)
(HRLM@ 1 0 P)
(HLRZ@ 1 0 P)
(MOVEM 1 (SPECIAL THVALUE) S)
(SUB P (C 1 0 1 0))
TAG5 (HRRZ@ 1 0 P)
(HRRZ@ 1 1)
(MOVEM 1 0 P)
(JRST 0 TAG1)
TAG2 (SUB P (C 2 0 2 0))
(POPJ P)
NIL
(DEFPROP THMUNG THMUNGT THSUCCEED)
(DEFPROP THMUNG THMUNGF THFAIL)
(DEFPROP THUNDO THUNDOT THSUCCEED)
(DEFPROP THUNDO THUNDOF THFAIL)
(DEFPROP THREMBIND THREMBINDT THSUCCEED)
(DEFPROP THREMBIND THREMBINDF THFAIL)
(PUTPROP (QUOTE THSPRINT) (GET (QUOTE SPRINT) (QUOTE SUBR)) (QUOTE SUBR))
(LAP SPRINT SUBR)
(PUSH P 1)
(PUSH P 2)
(MOVEI 2 (QUOTE NIL))
(MOVEI 1 (QUOTE 101))
(CALL 2 (E MODCHR) S)
(MOVE 2 1)
(MOVEI 1 (QUOTE 44))
(CALL 2 (E MODCHR) S)
(MOVEI 2 (QUOTE NIL))
(PUSH P 1)
(MOVEI 1 (QUOTE 101))
(CALL 2 (E MODCHR) S)
(MOVE 2 1)
(MOVEI 1 (QUOTE 47))
(CALL 2 (E MODCHR) S)
(PUSH P 1)
(MOVE 1 (SPECIAL THUNREADFLG) S)
(JUMPE 1 TAG5)
(MOVE 1 -3 P)
(CALL 1 (E THUNREADM) S)
(JRST 0 TAG4)
TAG5 (MOVE 1 -3 P)
TAG4 (MOVE 2 -2 P)
(CALL 2 (E THSPRINT) S)
(MOVE 2 -1 P)
(MOVEI 1 (QUOTE 44))
(CALL 2 (E MODCHR) S)
(MOVE 2 0 P)
(MOVEI 1 (QUOTE 47))
(CALL 2 (E MODCHR) S)
(MOVEI 1 (QUOTE NIL))
(SUB P (C 4 0 4 0))
(POPJ P)
NIL
(LAP THUNREADM SUBR)
(PUSH P 1)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(MOVE 2 (SPECIAL THUNREAD1) S)
(CALL 2 (E ASSOC#) S)
(MOVEM 1 0 P)
(JUMPE 1 TAG5)
(HRRZ@ 1 1)
(JRST 0 TAG4)
TAG5 (MOVE 1 -1 P)
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG6)
(MOVE 1 -1 P)
(JRST 0 TAG4)
TAG6 (HRRZ@ 1 -1 P)
(JUMPE 1 TAG7)
(HRRZ@ 1 -1 P)
(HRRZ@ 1 1)
(JUMPN 1 TAG7)
(HRRZ@ 1 -1 P)
(HLRZ@ 1 1)
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG7)
(MOVE 2 (SPECIAL THUNREAD2) S)
(HLRZ@ 1 -1 P)
(CALL 2 (E ASSOC) S)
(MOVEM 1 0 P)
(JUMPE 1 TAG7)
(HRRZ@ 1 0 P)
(PUSH P 1)
(HRRZ@ 1 -2 P)
(HLRZ@ 1 1)
(CALL 1 (E EXPLODE) S)
(MOVE 2 1)
(POP P 1)
(CALL 2 (E *APPEND) S)
(CALL 1 (E MAKNAM) S)
(JRST 0 TAG4)
TAG7 (HLRZ@ 1 -1 P)
(CALL 1 (E THUNREADM) S)
(PUSH P 1)
(HRRZ@ 1 -2 P)
(CALL 1 (E THUNREADM) S)
(POP P 2)
(CALL 2 (E XCONS) S)
TAG4 (SUB P (C 2 0 2 0))
(POPJ P)
NIL
(LAP THREAD SUBR)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(CALL 0 (E READCH) S)
(MOVEM 1 0 P)
(CAIE 1 (QUOTE ?) S)
(JRST 0 TAG6)
(CALL 0 (E READ) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE THV) S)
(CALL 2 (E XCONS) S)
(JRST 0 TAG5)
TAG6 (CAIE 1 (QUOTE :) S)
(JRST 0 TAG7)
(CALL 0 (E READ) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE THV) S)
(CALL 2 (E XCONS) S)
(JRST 0 TAG5)
TAG7 (CAIE 1 (QUOTE E) S)
(JRST 0 TAG10)
(CALL 0 (E READ) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE THEV) S)
(CALL 2 (E XCONS) S)
(JRST 0 TAG5)
TAG10 (CAIE 1 (QUOTE ←) S)
(JRST 0 TAG11)
(CALL 0 (E READ) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE THNV) S)
(CALL 2 (E XCONS) S)
(JRST 0 TAG5)
TAG11 (CAIE 1 (QUOTE &) S)
(JRST 0 TAG12)
TAG1 (CALL 0 (E READCH) S)
(CAIE 1 (QUOTE &) S)
(JRST 0 TAG1)
(JRST 0 TAG5)
TAG12 (CAIE 1 (QUOTE T) S)
(JRST 0 TAG20)
(MOVEI 1 (QUOTE (THTBF THTRUE)) S)
(JRST 0 TAG5)
TAG20 (CAIE 1 (QUOTE R) S)
(JRST 0 TAG21)
(MOVEI 1 (QUOTE THRESTRICT) S)
(JRST 0 TAG5)
TAG21 (CAIE 1 (QUOTE G) S)
(JRST 0 TAG22)
(MOVEI 1 (QUOTE THGOAL) S)
(JRST 0 TAG5)
TAG22 (CAIE 1 (QUOTE A) S)
(JRST 0 TAG23)
(MOVEI 1 (QUOTE THASSERT) S)
(JRST 0 TAG5)
TAG23 (CAIE 1 (QUOTE P) S)
(JRST 0 TAG24)
(MOVEI 1 (QUOTE $P) S)
(JRST 0 TAG5)
TAG24 (CAIE 1 (QUOTE N) S)
(JRST 0 TAG25)
(CALL 0 (E READ) S)
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE THANUM) S)
(CALL 2 (E XCONS) S)
(JRST 0 TAG5)
TAG25 (MOVE 1 (SPECIAL THUSERCHARS) S)
(CALL 1 (E ASSOC) S)
(MOVEM 1 -1 P)
(JUMPE 1 TAG31)
(HRRZ@ 1 1)
(CALL 17 (E PROGN) S)
(JRST 0 TAG30)
TAG31 (MOVEI 1 (QUOTE ILLEGAL-PREFIX) S)
(CALL 1 (E PRINT) S)
(JUMPE 1 TAG32)
(MOVEI 1 (QUOTE $) S)
(CALL 1 (E PRINC) S)
(MOVE 1 0 P)
(CALL 1 (E PRINC) S)
(CALL 0 (E READ) S)
(CALL 1 (E PRINC) S)
(MOVEI 1 (QUOTE NIL))
(CALL 1 (E ERR) S)
TAG32
TAG30
TAG5 (SUB P (C 2 0 2 0))
(POPJ P)
NIL
(DEFPROP THUSERCHARS (THUSERCHARS) VALUE)
(LAP SUBFUN1THERT SUBR)
(CALL 0 (E READ) S)
(MOVEM 1 (SPECIAL /0LISTEN) S)
(CAIE 1 (QUOTE $P) S)
(JRST 0 TAG2)
(MOVEI 1 (QUOTE T) S)
(MOVEM 1 (SPECIAL /0RETFLAG) S)
(JRST 0 TAG1)
TAG2 (CALL 1 (E ATOM) S)
(JUMPN 1 TAG5)
(HLRZ@ 1 (SPECIAL /0LISTEN) S)
(CAIE 1 (QUOTE $P) S)
(TDZA 1 1)
(MOVEI 1 (QUOTE T) S)
(JRST 0 TAG4)
TAG5 (MOVEI 1 (QUOTE NIL))
TAG4 (JUMPE 1 TAG3)
(HRRZ@ 1 (SPECIAL /0LISTEN) S)
(HLRZ@ 1 1)
(CALL 1 (E *EVAL) S)
(MOVEM 1 (SPECIAL /0RETVAL) S)
(MOVEI 1 (QUOTE T) S)
(MOVEM 1 (SPECIAL /0RETFLAG) S)
(JRST 0 TAG1)
TAG3 (MOVE 1 (SPECIAL THLEVEL) S)
(JUMPE 1 TAG7)
(MOVE 1 (SPECIAL /0LISTEN) S)
(CALL 1 (E *EVAL) S)
(CALL 1 (E PRINT) S)
(JRST 0 TAG1)
TAG7 (MOVE 2 (SPECIAL THALIST) S)
(MOVE 1 (SPECIAL /0LISTEN) S)
(CALL 2 (E THVAL) S)
(CALL 1 (E PRINT) S)
TAG1 (POPJ P)
NIL
(LAP THERT FSUBR)
(JSP 6 SPECBIND)
(0 0 (SPECIAL /0LISTEN) S)
(0 0 (SPECIAL /0RETVAL) S)
(0 0 (SPECIAL /0RETFLAG) S)
(PUSH P 1)
(MOVEI 2 (QUOTE NIL))
(MOVEI 1 (QUOTE NIL))
(CALL 2 (E INC) S)
(MOVEI 2 (QUOTE NIL))
(PUSH P 1)
(MOVEI 1 (QUOTE NIL))
(CALL 2 (E OUTC) S)
(PUSH P 1)
(MOVE 1 (SPECIAL /0LEVEL) S)
(CALL 1 (E ADD1) S)
(MOVEM 1 (SPECIAL /0LEVEL) S)
(MOVEI 1 (QUOTE >>>) S)
(CALL 1 (E PRINT) S)
(HLRZ@ 1 -2 P)
(CAIE 1 (QUOTE TH%0%) S)
(JRST 0 TAG6)
(HRRZ@ 2 -2 P)
(MOVEI 1 (QUOTE THPRINT2) S)
(PUSHJ P *MAPC)
(MOVEI 2 (QUOTE NIL))
(PUSH P 2)
(EXCH 1 -2 P)
(CALL 2 (E INC) S)
(POP P -2 P)
(JRST 0 TAG5)
TAG6 (MOVE 1 -2 P)
(JUMPE 1 TAG7)
(MOVE 2 1)
(MOVEI 1 (QUOTE THPRINT2) S)
(PUSHJ P *MAPC)
(MOVEI 1 (QUOTE LISTENING) S)
(CALL 1 (E PRINT) S)
(MOVE 1 (SPECIAL THLEVEL) S)
(JUMPN 1 TAG10)
(MOVEI 1 (QUOTE THVAL) S)
(CALL 1 (E THPRINT2) S)
TAG10
TAG7
TAG5 (MOVEI 1 (QUOTE T) S)
(MOVEM 1 (SPECIAL /0RETVAL) S)
TAG1 (CLEARM 0 (SPECIAL THINF) S)
(CLEARM 0 (SPECIAL /0RETFLAG) S)
(CALL 0 (E TERPRI) S)
(MOVE 1 (SPECIAL /0LEVEL) S)
(CALL 1 (E PRINC) S)
(MOVEI 1 (QUOTE ((SUBFUN1THERT))) S)
(CALL 17 (E ERRSET) S)
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG15)
(MOVE 1 (SPECIAL THLEVEL) S)
(JUMPE 1 TAG13)
TAG15 (MOVE 1 (SPECIAL /0RETFLAG) S)
(JUMPE 1 TAG1)
TAG13 (MOVE 1 (SPECIAL /0LEVEL) S)
(CALL 1 (E SUB1) S)
(MOVEM 1 (SPECIAL /0LEVEL) S)
(MOVEI 2 (QUOTE NIL))
(MOVE 1 -1 P)
(CALL 2 (E INC) S)
(MOVEI 2 (QUOTE NIL))
(MOVE 1 0 P)
(CALL 2 (E OUTC) S)
(MOVE 1 (SPECIAL /0RETVAL) S)
(SUB P (C 3 0 3 0))
(JRST 0 SPECSTR)
NIL
(LAP THEDIT FSUBR)
(PUSH P 1)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(JUMPN 1 TAG5)
(MOVE 1 (SPECIAL LASTWORD) S)
(CALL 1 (E NCONS) S)
(MOVEM 1 -1 P)
TAG5 (MOVEI 2 (QUOTE THEOREM) S)
(HLRZ@ 1 -1 P)
(CALL 2 (E GET) S)
(MOVEM 1 0 P)
(JUMPE 1 TAG10)
(HLRZ@ 3 -1 P)
(HRRZ@ 2 -1 P)
(CALL 3 (E EDITE) S)
(HLRZ@ 1 -1 P)
(MOVEM 1 (SPECIAL LASTWORD) S)
(JRST 0 TAG1)
TAG10 (HLRZ@ 1 -1 P)
(CALL 1 (E PRINT) S)
(MOVEI 1 (QUOTE IS/ NOT/ EDITABLE) S)
(CALL 1 (E PRINC) S)
(MOVEI 1 (QUOTE NIL))
(CALL 1 (E ERR) S)
(MOVEI 1 (QUOTE NIL))
TAG1 (SUB P (C 2 0 2 0))
(POPJ P)
NIL
(LAP SUBFUN1THINIT SUBR)
(MOVEI 1 (QUOTE (DSK: (INIT . PLN))) S)
(CALL 17 (E INPUT) S)
(MOVEI 2 (QUOTE NIL))
(JCALL 2 (E INC) S)
NIL
(LAP THINIT SUBR)
(CLEARB 1 (SPECIAL THLEVEL) S)
(MOVEM 1 (SPECIAL THTREE) S)
(MOVEM 1 (SPECIAL THINF) S)
(MOVEI 1 (QUOTE -1))
(MOVEM 1 (SPECIAL /0LEVEL) S)
(MOVE 1 (SPECIAL THUSERMESSAGES) S)
(JUMPE 1 TAG6)
(PUSH P 1)
TAG1 (MOVE 1 0 P)
(JUMPE 1 TAG13)
(HLRZ@ 1 0 P)
(PUSH P 1)
(CALL 0 (E TERPRI) S)
(MOVE 1 0 P)
(CALL 1 (E PRINC) S)
(HRRZ@ 1 -1 P)
(MOVEM 1 -1 P)
(SUB P (C 1 0 1 0))
(JRST 0 TAG1)
TAG13 (CLEARM 0 (SPECIAL THUSERMESSAGES) S)
(MOVEI 1 (QUOTE ((SUBFUN1THINIT) NIL)) S)
(CALL 17 (E ERRSET) S)
(JUMPE 1 TAG22)
(MOVEI 1 (QUOTE (TH%0% READING (INIT . PLN))) S)
(CALL 17 (E THERT) S)
(JUMPN 1 TAG21)
TAG22
TAG21 (SUB P (C 1 0 1 0))
TAG6 (MOVE 1 (SPECIAL THUSERINITFN) S)
(JUMPE 1 TAG24)
(PUSH P 1)
(CALLF@ 0 0 P)
(SUB P (C 1 0 1 0))
(JUMPN 1 TAG23)
TAG24
TAG23 (CALL 0 (E TERPRI) S)
(MOVEI 1 (QUOTE (TOP LEVEL)) S)
(JCALL 17 (E THERT) S)
NIL
(LAP THTRACE FSUBR)
(PUSH P 1)
(MOVE 2 0 P)
(MOVEI 1 (QUOTE THTRACE1) S)
(PUSHJ P *MAPC)
(MOVE 1 0 P)
(SUB P (C 1 0 1 0))
(POPJ P)
NIL
(DEFPROP THTRACE (THTRACE) VALUE)
(LAP THTRACE1 SUBR)
(PUSH P 1)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(CALL 1 (E ATOM) S)
(JUMPE 1 TAG5)
(MOVEI 1 (QUOTE NIL))
(CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE T) S)
(CALL 2 (E XCONS) S)
(MOVE 2 -1 P)
(CALL 2 (E XCONS) S)
(JRST 0 TAG4)
TAG5 (HRRZ@ 1 -1 P)
(HRRZ@ 1 1)
(JUMPE 1 TAG6)
(MOVE 1 -1 P)
(JRST 0 TAG4)
TAG6 (HRRZ@ 1 -1 P)
(JUMPN 1 TAG7)
(MOVE 1 -1 P)
(CALL 1 (E PRINT) S)
(MOVEI 1 (QUOTE BAD/ FORMAT) S)
(CALL 1 (E PRINC) S)
(JRST 0 TAG2)
TAG7 (MOVEI 1 (QUOTE NIL))
(CALL 1 (E NCONS) S)
(HRRZ@ 2 -1 P)
(HLRZ@ 2 2)
(CALL 2 (E XCONS) S)
(HLRZ@ 2 -1 P)
(CALL 2 (E XCONS) S)
TAG4 (MOVEM 1 -1 P)
(MOVEI 2 (QUOTE THEOREM) S)
(HLRZ@ 1 1)
(CALL 2 (E GET) S)
(JUMPE 1 TAG12)
(MOVE 2 (SPECIAL THTRACE) S)
(MOVEI 1 (QUOTE THEOREM) S)
(CALL 2 (E ASSOC) S)
(MOVEM 1 0 P)
(JUMPE 1 TAG14)
(MOVEI 1 (QUOTE ((THSEL (QUOTE CADR)) (THSEL (QUOTE CADDR)))) S)
(HRRM@ 1 0 P)
(JRST 0 TAG13)
TAG14 (MOVE 2 (SPECIAL THTRACE) S)
(MOVEI 1 (QUOTE (THEOREM (THSEL (QUOTE CADR)) (THSEL (QUOTE CADDR)))) S)
(CALL 2 (E *APPEND) S)
(CALL 1 (E NCONS) S)
(MOVE 2 -1 P)
(CALL 2 (E XCONS) S)
(MOVEM 1 (SPECIAL THTRACE) S)
TAG13
TAG12 (MOVE 2 (SPECIAL THTRACE) S)
(HLRZ@ 1 -1 P)
(CALL 2 (E ASSOC) S)
(MOVEM 1 0 P)
(JUMPE 1 TAG16)
(HRRZ@ 1 -1 P)
(HRRM@ 1 0 P)
(JRST 0 TAG15)
TAG16 (MOVE 2 (SPECIAL THTRACE) S)
(MOVE 1 -1 P)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTRACE) S)
TAG15 (MOVE 1 -1 P)
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE NIL))
TAG1 (SUB P (C 2 0 2 0))
(POPJ P)
NIL
(LAP THUNTRACE FSUBR)
(PUSH P 1)
(MOVE 1 0 P)
(JUMPE 1 TAG6)
(PUSH P (SPECIAL THTRACE) S)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
TAG1 (MOVE 1 -3 P)
(JUMPE 1 TAG13)
(HLRZ@ 1 -3 P)
(PUSH P 1)
(MOVE 2 -5 P)
(HLRZ@ 1 1)
(CALL 2 (E MEMQ#) S)
(JUMPE 1 TAG21)
(MOVE 1 0 P)
(CALL 1 (E PRINT) S)
(MOVEI 1 (QUOTE NIL))
(JRST 0 TAG20)
TAG21 (MOVE 1 0 P)
(CALL 1 (E NCONS) S)
TAG20 (MOVEM 1 -3 P)
(SUB P (C 1 0 1 0))
(JUMPE 1 TAG17)
(MOVE 1 -1 P)
(JUMPE 1 TAG23)
(MOVE 1 -2 P)
(HRRM@ 1 -1 P)
(MOVE 1 -1 P)
(JRST 0 TAG22)
TAG23 (MOVE 1 -2 P)
(MOVEM 1 0 P)
TAG22 (CALL 1 (E LAST) S)
(MOVEM 1 -1 P)
TAG17 (HRRZ@ 1 -3 P)
(MOVEM 1 -3 P)
(JRST 0 TAG1)
TAG13 (MOVE 1 0 P)
(MOVEM 1 (SPECIAL THTRACE) S)
(SUB P (C 4 0 4 0))
(JRST 0 TAG5)
TAG6 (MOVE 1 (SPECIAL THTRACE) S)
(JUMPE 1 TAG26)
(MOVE 2 1)
(MOVEI 1 (QUOTE PRINT) S)
(PUSHJ P *MAPC)
(CLEARM 0 (SPECIAL THTRACE) S)
TAG26
TAG5 (MOVEI 1 (QUOTE DONE) S)
(SUB P (C 1 0 1 0))
(POPJ P)
NIL
(LAP THTRACES SUBR)
(JSP 6 SPECBIND)
(0 2 (SPECIAL THL) S)
(0 0 (SPECIAL THY) S)
(0 0 (SPECIAL THZ) S)
(PUSH P 1)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(MOVE 2 (SPECIAL THTRACE) S)
(CALL 2 (E ASSOC) S)
(MOVEM 1 (SPECIAL THY) S)
(JUMPE 1 TAG5)
(MOVE 2 (SPECIAL THALIST) S)
(CALL 1 (E CADDR) S)
(CALL 2 (E THVAL) S)
(MOVEM 1 0 P)
(JUMPN 1 TAG10)
(MOVE 2 (SPECIAL THALIST) S)
(HRRZ@ 1 (SPECIAL THY) S)
(HLRZ@ 1 1)
(CALL 2 (E THVAL) S)
TAG10 (JUMPE 1 TAG7)
(MOVEI 2 (QUOTE THTRACE) S)
(MOVE 1 -1 P)
(CALL 2 (E GET) S)
(MOVEM 1 (SPECIAL THZ) S)
(JUMPN 1 TAG13)
(MOVEI 1 (QUOTE (THTRACES - TRACE LOSSAG)) S)
(CALL 17 (E THERT) S)
TAG13 (JUMPE 1 TAG12)
(MOVE 2 0 P)
(MOVE 1 (SPECIAL THL) S)
(PUSH P (SPECIAL THZ) S)
(CALLF@ 2 0 P)
(SUB P (C 1 0 1 0))
(JUMPE 1 TAG15)
(MOVE 1 0 P)
(JUMPE 1 TAG17)
(MOVEI 1 (QUOTE NIL))
(CALL 17 (E THERT) S)
TAG17
TAG15
TAG12
TAG7
TAG5 (MOVEI 1 (QUOTE NIL))
(SUB P (C 2 0 2 0))
(JRST 0 SPECSTR)
NIL
(LAP THTRACES THSUCCEED)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(CALL 1 (E PRINT) S)
(MOVEI 1 (QUOTE SUCCEEDED/ ) S)
(CALL 1 (E PRINC) S)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CDDR) S)
(CALL 1 (E EVLIS) S)
(CALL 0 (E THPOPT) S)
(MOVE 1 (SPECIAL THVALUE) S)
(POPJ P)
NIL
(LAP THTRACES THFAIL)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CADR) S)
(CALL 1 (E PRINT) S)
(MOVEI 1 (QUOTE FAILED/ ) S)
(CALL 1 (E PRINC) S)
(HLRZ@ 1 (SPECIAL THTREE) S)
(CALL 1 (E CDDR) S)
(CALL 1 (E EVLIS) S)
(CALL 0 (E THPOPT) S)
(MOVEI 1 (QUOTE NIL))
(POPJ P)
NIL
(LAP THSEL SUBR)
(JSP 6 SPECBIND)
(0 0 (SPECIAL THX) S)
(PUSH P 1)
(MOVE 2 (SPECIAL THTRACE) S)
(MOVE 1 (SPECIAL THL) S)
(CALL 2 (E ASSOC) S)
(MOVEM 1 (SPECIAL THX) S)
(JUMPE 1 TAG5)
(CALLF@ 1 0 P)
(MOVEM 1 (SPECIAL THX) S)
(JUMPE 1 TAG7)
(MOVE 2 (SPECIAL THALIST) S)
(CALL 2 (E THVAL) S)
TAG7
TAG5 (SUB P (C 1 0 1 0))
(JRST 0 SPECSTR)
NIL
(LAP THGENS FSUBR)
(PUSH P 1)
(PUSH P (C 0 0 TAG1 0))
(HLRZ@ 1 1)
(CALL 1 (E EXPLODE) S)
(PUSH P 1)
(MOVE 1 (SPECIAL THGENS) S)
(CALL 1 (E ADD1) S)
(MOVEM 1 (SPECIAL THGENS) S)
(CALL 1 (E EXPLODE) S)
(PUSH P 1)
(MOVNI 6 2)
(JCALL 16 (E NCONC) S)
TAG1 (SUB P (C 1 0 1 0))
(JCALL 1 (E MAKNAM) S)
NIL
(DEFPROP THGENS (THGENS . 0) VALUE)
(LAP THEOREM THTRACE)
(PUSH P 1)
(PUSH P 2)
(PUSH P -1 P)
(MOVE 1 -1 P)
(JUMPE 1 TAG5)
(MOVEI 1 (QUOTE (THERT)) S)
TAG5 (CALL 1 (E NCONS) S)
(MOVEI 2 (QUOTE (AND# THVALUE (PRIN1 THVALUE))) S)
(CALL 2 (E XCONS) S)
(POP P 2)
(CALL 2 (E XCONS) S)
(MOVEI 2 (QUOTE THTRACES) S)
(CALL 2 (E XCONS) S)
(MOVE 2 (SPECIAL THTREE) S)
(CALL 2 (E CONS) S)
(MOVEM 1 (SPECIAL THTREE) S)
(MOVEI 1 (QUOTE ENTERING/ THEOREM) S)
(CALL 1 (E THPRINTC) S)
(MOVE 1 -1 P)
(SUB P (C 2 0 2 0))
(JCALL 1 (E PRIN1) S)
NIL
(DEFPROP THUNREADFLG (THUNREADFLG) VALUE)
(DEFPROP THUNREAD1 (THUNREAD1 ((THTBF THTRUE) . $T) (THRESTRICT . $R) (THGOAL . $G) (THASSERT . $A)) VALUE)
(DEFPROP THUNREAD2 (THUNREAD2 (THV $ ?) (THNV $ ←) (THANUM $ N) (QUOTE ')) VALUE)
(DEFPROP GRINPROPS (NIL EXPR FEXPR MACRO VALUE SPECIAL THEOREM THSUCCEED THFAIL THTRACE) VALUE)
(DEFPROP THUSERINITFN (THUSERINITFN) VALUE)
(DEFPROP ↑A (↑A) VALUE)
(DEFPROP THXX (THXX) VALUE)
(DEFPROP THALIST (THALIST (NIL NIL)) VALUE)
(DEFPROP THUSERMESSAGES (THUSERMESSAGES MICRO-PLANNER) VALUE)
(LAP PLNRINITFN SUBR)
(PUSH P (SPECIAL THUSERINITFN) S)
(MOVEM 1 (SPECIAL THUSERINITFN) S)
(POP P 1)
(POPJ P)
NIL
(PROGN (DEFPROP PINIT (LAMBDA NIL (PROG (X) (RPLACD (MEMQ# (QUOTE THEOREM) GRINPROPS) NIL) (MODCHR (CHRVAL (QUOT→
E ')) (MODCHR (CHRVAL (QUOTE /@)) NIL)) (DRM $ THREAD) (DRM : THREAD) (INITFN (QUOTE THINIT)) (EXCISE) (SETQ KLI→
ST NIL) (PUTPROP (QUOTE INITFN) (CADR (SETQ X (GETL (QUOTE PLNRINITFN) (QUOTE (EXPR SUBR))))) (CAR X)) (SETQ THU→
NREADFLG T) (REMOB PLNRFNS PINIT PLNRINITFN))) EXPR))